Principio de identidad

A→A

Principio de no contradicción
¬(A ۸ ¬A)

Principio del tercero excluido

A v ¬A

Ley de la doble negación

¬¬A ↔ A

Ley de la eliminación de la conjunción

(A ۸ B) → A

Ley de conmutatividad de la conjunción

(A ۸ B) ↔ (B ۸ A)
Ley de la introducción de la disyunción
A → (A v B)

Ley de conmutabilidad de la disyunción

(A v B) ↔ (B v A)

Modus ponens o eliminación del condicional

(A → B) ۸ A) → B

Modus tollens
((A → B) ۸ ¬B) → ¬A

Ley de contraposición
(A →B) ↔ (¬B → ¬ A)
Primera Ley del dilema constructivo
(((A v B) ۸ (A → C)) ۸ (B → C)) → C

Segunda ley del dilema constructivo

(((A v B) ۸ (A →C)) ۸ ( B → D)) → (C v D)

Silogismo hipotético
((A → B) ۸ (B → C)) → ( A → C)

Primera ley de De Morgan

¬(A ۸ B) ↔ (¬A v ¬B)

Segunda ley de De Morgan

¬(A v B) ↔ (¬A ۸ ¬B)

Ley del Silogismo disyuntivo

((A v B) ۸ ¬A) → B
Ley de la carga de la premisa
A → (B → A)

Ley del absurdo

(A → ( B ۸ ¬B)) → ¬ A

Ley de Duns Scoto

(A → ¬A ) → B

Interdefiniciones de conectivos
(A ↔ B) ↔ ((A → B ) ۸ (B → A))

(A → B) ↔ ¬(A ۸ ¬B)

(A → B) ↔ (¬A v B)

(A → B) ↔ ¬(A ۸ ¬B) ↔ (¬A v B)

¬(A → B) ↔ (A ۸ ¬B) ↔ ¬(¬A v B)