Tautologias do Cálculo Proposicional

Nome Fórmula
Lei de Identidade (A → A)
Fórmulas Comutativas (( A ∧ B ) ↔ (B ∧ A))
(( A ∨ B ) ↔ (B ∨ A))
(( A ↔ B ) ↔ (B ↔ A))
((A → (B → C)) ↔ (B → (A → C)))
Associativas (((A ∨ B) ∨ C) ↔ (A ∨ (B ∨ C)))
(((A ∧ B) ∧ C) ↔ (A ∧ (B ∧ C)))
Distributivas ((A ∧ (B ∨ C)) ↔ ((A ∧ B) ∨ (A ∧ C)))
((A ∨ (B ∧ C)) ↔ ((A ∨ B) ∧ (A ∨ C)))
Dupla negação (A ↔ (¬(¬A)))

Leis idempotentes ((A ∨ A) ↔ A)

Lei do Terceiro Excluído
Lei da Não Contradição
Lei da Transitividade da
Implicação
Lei do Silogismo Hipotético
Lei da Contraposição
Lei da Exportação
Lei da Importação
Lei da Importação e Exportação
Leis de Absorção
Leis de De Morgan
Prova por Casos
Prova por contradição
((A ∧ A) ↔ A)
(A ∨ (¬A))
(¬(A ∧ (¬A)))
((A → B) → ((B → C) → (A → C)))
(((A → B) ∧ (B → C)) → (A → C))
((A → B) ↔ ((¬B) → (¬A)))
((A → (¬B) ) ↔ (B → (¬A)))
{[(A ∧ B) → C] → [A → (B → C )]}
((A → (B → C)) → ((A ∧ B) → C))
(((A ∧ B) → C) ↔ (A → (B → C)))
(( A ∨ (A ∧ B)) ↔ A)
((A ∧ (A ∨ B)) ↔ A)
((A → (A → B)) ↔ (A → B))
(((A → B) ∧ (A → C)) ↔ (A → (B ∧ C)))
((¬( A ∨ B)) ↔ ((¬A) ∧ (¬B)))
((¬(A ∧ B)) ↔ ((¬A) ∨ (¬B)))
(((( A ∨ B) ∧ (A → C)) ∧ (B → C)) → C)
((((¬A) → B) ∧ (¬B)) → A)
((A → (¬A)) → (¬A))
(((¬A) → A) → A)
(((A ∧ (¬B)) → (C ∧ (¬C))) → (A → B)))
(((A ∧ (¬B)) → (¬A)) → (A → B))
(((A ∧ (¬B)) → B) → (A → B))

1
 Lei do Destacamento ((( A ∧ (A → B)) → B)
(Modus Ponens)
Modus Tollendo Tolens [((A → B) ∧ (¬B)) → (¬A)]
Modus tollendo Ponens (((¬A) ∧ (A → B)) → B)
Modus ponendo Tollens {([¬(A∧B)] ∧ A) → (¬B)}
Leis de Simplificação (((A ∧ B) → A)
((A ∧ B) → B)
Leis de Adição (A → (A ∨ B))
(B → (A ∨ B))
Equivalência entre Implicação e ((A → B) ↔ ((¬A) ∨ B))
Disjunção
Lei de Negação para Implicação ((¬(A → B)) ↔ (A ∧ (¬B)))
Leis de Equivalência de ((A ↔ B) ↔ ((A → B) ∧ (B → A)))
Bicondicionais ((A ↔ B) ↔ ((A ∧ B) ∨ ((¬A) ∧ (¬B))))
Lei de Peirce (((A → B) → A) → A)
Esquema B (A → (B → A))
Esquema C ((A → (B → C)) → ((A → B) → (A → C)))