Regras de Inferência

Adição AD p ⊨ p ∨q
Simplificação SIMP 1. p ∧q ⊨ p
2. p ∧q ⊨ q
Conjunção CONJ 1. p , q ⊨ p ∧q
2. q , p ⊨q ∧ p
Absorção ABS p →q ⊨ p→ ( p ∧q )
Modus Ponens MP ( p →q ) , p ⊨q
Modus Tollens MT ( p →q ) ,¬ q ⊨¬ p
Silogismo SD 1. ( p ∨q ) , ¬ p ⊨ q
Disjuntivo 2. ( p ∨q ) , ¬ q ⊨ p
Silogismo SH ( p →q ) , ( q →r ) ⊨ p →r
Hipotético
Dilema DC ( p →q ) , ( r → s ) , ( p →r ) ⊨ q ∨ s
Construtivo
Dilema DD ( p →q ) , ( r → s ) , ( ¬ q →¬ s ) ⊨ ¬ p ∨¬r
Destrutivo

Equivalências Notáveis
Idempotência ID 1. p ⇔ p ∧ p
2. p ⇔ p ∨ p
Comutação COM 1. p ∧q ⇔ q ∧ p
2. p ∨q ⇔ q ∨ p
Associação ASSO 1. p ∧ ( q ∧ r ) ⇔ ( p ∧ q ) ∧r
C 2. p ∨ ( q ∨ r ) ⇔ ( p ∨ q ) ∨r
Distribuição DIST 1. p ∧ ( q ∨ r ) ⇔ ( p ∧ q ) ∨(p ∧ r)
2. p ∨ ( q ∧ r ) ⇔ ( p ∨ q ) ∧(p ∨ r)
Dupla Negação DN ¬¬ p ⇔ p
De Morgan DM 1. ¬( p ∧q)⇔¬ p ∨¬ q
2. ¬( p ∨q)⇔¬ p ∧¬ q
Condicional COND p →q ⇔ ¬ p ∨ q
Bicondicional BICO 1. p ↔q ⇔ ( p →q ) ∧(q → p)
ND 2. p ↔q ⇔ ( ¬ p ∨q ) ∧(¬ q ∨ p)
3. p ↔q ⇔ ( p ∧q ) ∨(¬ p ∧¬ q)
Contraposição CP p →q ⇔ ¬ q →¬ p
Exportação - EI p ∨q → r ⇔ p →(q → r )
Importação