Reglas de Implicación**********************************************************

Modus Ponens (M.P.) Modus Tollens (M.T.)

α​ ​⊃​ ​β α​ ​⊃​ ​β
α ¬​β
__________ __________
β ¬​α
Simplificación (Simp.) Conjunción (Conj.)
α​ ​∧​ ​β α
_________ β
α​ ​ ​ ​β
α​ ​∧​ ​β​ ​ ​ ​β​ ​∧​ ​α
Silogismo Disyuntivo (S.D.) Adición (Ad.)
α​ ​∨​ ​β α
¬​α​ ​ ​ ¬​β
_________ α​ ​∨​ ​β​ ​ ​ ​β​ ​∨​ ​α
​β​ ​ ​ ​α
Dilema Constructivo (D.C.) Dilema Destructivo (D.D.)
α​ ​⊃​ ​β α​ ​⊃​ ​β
φ​ ​⊃​ ​γ φ​ ​⊃​ ​γ
α​ ​∨​ ​φ ¬​β​ ​∨​ ¬​γ
_________ _________
β​ ​∨​ ​γ ¬​α​ ​∨​ ¬​φ
Silogismo Hipotético (S.H.) Ley Bicondicional
α​ ​⊃​ ​β α​ ​↔​ ​β
β​ ​⊃​ ​γ ____________
α​ ​⊃​ ​β​ ​ β​ ​⊃​ ​α
α​ ​⊃​ ​γ
Reglas de Equivalencia (Definicionales)*******************************************
Teoremas de De Morgan (De M.)
¬(​α​ ​∧​ ​β​) ¬(​α​ ​∨​ ​β​)
======== ========
¬​α​ ​∨​ ¬​β ¬​α​ ​∧​ ¬​β
Conmutación (Conm.)
α​ ​∧​ ​β α​ ​∨​ ​β
======== ========
β​ ​∧​ ​α β​ ​∨​ ​α
Asociación (Asoc.)
α​ ​∧​ (​β​ ​∧​ ​φ​) α​ ​∨​ (​β∨​ ​φ​)
======== ========
(​α​ ​∧​ ​β​) ​∧​ ​φ (​α​ ​∨​ ​β​) ​∨​ ​φ
Distribución (Dist.)
α​ ​∧​ (​β​ ​∨​ ​φ​) α​ ​∨​ (​β​ ​∧​ ​φ​)
============ ============
(​α​ ​∧​ ​β​) ​∨​ (​α​ ​∧​ ​φ​) (​α​ ​∨​ ​β​) ​∧​ (​α​ ​∨​ ​φ​)
Doble Negación (D.N.) Transposición (Trans.)
¬¬​α α​ ​⊃​ ​β
======== ========
α ¬​β​ ​⊃​ ¬​α
Implicación Material (I.M.) Exportación (Exp.)
α​ ​⊃​ ​β (​α​ ​∧​ ​β​) ​⊃​ ​φ
======== ==========
¬​α​ ​∨​ ​β α​ ​⊃​ (​β​ ​⊃​ ​φ​)
Equivalencia Material (E.M.)
α​ ​↔​ ​β α​ ​↔​ ​β
============= =============
(​α​ ​⊃​ ​β​) ​∧​ (​β​ ​⊃​ ​α​) (​α​ ​∧​ ​β​) ​∨​ (¬​α​ ​∧​ ¬​β​)
Idempotencia
α​ ​∧​ ​α α​ ​∨​ ​α
======== ========
α α
OTRAS REGLAS*************************

Introducción de Tautologías (IT) Ley de Identidad (LI)

Identidad: ​α​ ​⊃​ ​α​, a = b………………..a = b
Tercio Excluso: ​α​ ​∨​ ​¬α​, b=c ​Φ​[a]
No Contradicción: ¬(​α​ ​∧​ ​¬α​)
 //Y se puede introducir ​cualquier​ tautología// a=c ​Φ​[b]
Ley de Dualidad de Cuantificadores (LDC)
(​∀​x)​Φ (​∃​x)​Φ
====== ========
¬​(​∃​x)​¬Φ ¬​(​∀​x)​¬Φ

Técnicas de Prueba***********************************************************************************

Prueba Condicional (PC)

n) ​α​ Supuesto
:
:
k) ​β
_________________
k+1)​α​ ​⊃​ ​β​ PC n-k

Reducción al Absurdo (RAA)

n) ​¬​ ​α​ Supuesto

:
:
k) ​β​ ​∧​ ​¬β
_________________
k+1)​α​ RAA n-k

Reglas de Cuantificación Simples**********************************************************************

Sin Restricciones///

Especificación Universal Generalización Existencial

(​∀​x)​Φ​[x] Φ​[​a​]
====== ========
Φ​[​a​] (​∃​x)​Φ​[x]

Con Restricciones​ ///

Generalización Universal Especificación Existencial

Φ​[​a​] (​∃​x)​Φ​[x]
====== ========
(​∀​x)​Φ​[x] Φ​[​a​]