1

Axiomas
A1. A (B A)
A2. (A B) ((A(BC)) (A C))
A3. A ( B A B)
A4. A B A , , A B B
A5. A A B , , B A B
A6. (AC) ((BC) ( A BC))
A7. (AB) ((A ~B) ~A)
A8. ~~A A
Reglas derivadas
T1: Teorema de la identidad:AA
T2: Regla del silogismo (prop. transitiva): (A B) ((B C) (A C))
T3: Modus ponens (T. Deduccin): A((A B) B)
T4: Excontradictione Quodlibet: A(~A B) o bien, ~ A(A B)
T5: Producto Condicional: (AB) ((A C) ( A B ^ C))
T6: Contraposicin: (AB) (~ B ~ A),
(A ~ B) (B ~ A)
(~ AB) (~ B A)
T7: Interdefinicin (de conectivas) respecto conjuncin:
(AB) (~ (A ^~ B)) directa
~(A ^ ~ B) (AB) recproca
T8: Leyes de De Morgan: ~(A v B) ~A ^ ~ B directa
~A ^ ~ B ~ (A v B) recproca
T8b: Leyes de De Morgan: ~(A^B) ~A v~ B directa
~A v ~ B ~(A ^ B) recproca
T9: Interdefinicin (de conectivas) respecto disyuncin:
(AB) ~A v B directa ~A v B (AB) recproca
T10: Propiedad conmutativa: (A ^B) (B^A) , (B ^ A) (A ^ B)
(A v B) (B v A) , (B v A) (A v B)
T11: Propiedad asociativa
A ^ (B ^ C) (A ^ B) ^C , (A ^ B) ^ C A ^ (B ^ C)
A v (B v C) (A v B) v C , (A v B) v C A v (B v C)
T12: Propiedad distributiva
A ^ (B v C) (A ^ B) v (A ^C) , (A ^ B) v (A^C) A^ (B v C)
A v (B ^ C) (A v B) ^ (A v C) , (A v B) ^ (A v C) A v (B^C)
T13: Propiedad de absorcin: A ^ (A v B) A, A A ^ (A v B)
A v (A ^ B) A, A A v (A ^ B)
T14: Idempotencia: A ^ A A , A A ^ A, A v A A , A A v A
T15: Coimplicacin: (A B) (B A) (A B)
T16: Eliminacin de la Coimplicacin: (A B) (A B), (A B)(B A)
T17: Propiedad Simtrica Coimplicacin: (A B) (B A)
T18: Importacin-Exportacin: (A (B C)) (A ^ B C) directa
(A ^ B C) (A (B C)) recproca
Principio del Tercio Excluso: A v~ A