Lógica 
Formas validas elementales 
Proposición 
Enunciado que puede calificarse en verdadero o falso 
Conectivos lógicos 
Disyunción: ˅ (o,u)
Implicación: → ⊂ (Si - entonces - )
Conjunción: ˄ • (y,e)
Equivalencia: ⟺ ≡ ( - si y solo si - )
No negación: ~ ﹁
Argumento 
Conjunto estructurado de proposiciones que reflejan una
Deductivo e inductivo
Validez:Siempre que,cuando las premisas sean verdaderas la conclusión también es verdadera 
Orden de importancia 
1.- ~ 2.-^ 3.-v 4.- → ⟺
Modus Tollens (M.T)
Silogismo hipotético (S.H)
Modus ponens (M.P)
Silogismo disyuntivo (S.D)
Dilema constructivo (D.C)
Absorción (abs.)
Simplificación (simp.)
Conjunción (conj.)
Adición (ad.)
Invalidez 
Combinación de valores de verdad en las variables de tal modo que tengamos premisas verdaderas y conclusión falsa
Teoría de cuantificadores
Tautología, auto contradictorias y contingencia
La función proposicional no es una proposición hasta que la variable se sustituye por un individuo o se cuantifique
Cuantificación universal ∀ 
Cuantificación existencial ∃ 