Você está na página 1de 1

Regras de Inferência

Nome Abrev. Forma 1 Forma 2


1 Adição AD ⊢ ∨ ⊢ ∨
2 Simplificação SIMP ∧ ⊢ ∧ ⊢
3 Conjunção CONJ , ⊢ ∧ , ⊢ ∧
4 Absorção ABS → ⊢ →( ∧ )
5 Modus Ponens MP → , ⊢
6 Modus Tollens MT → , ¬ ⊢¬
7 Silogismo Disjuntivo SD ∨ , ¬ ⊢ ∨ , ¬ ⊢
8 Silogismo Hipotético SH → , → ⊢ →
9 Dilema Construtivo DC → , → , ∨ ⊢ ∨
10 Dilema Destrutivo DD → , → , ¬ ∨¬ ⊢¬ ∨¬

Regras de Equivalência
Nome Abrev. Forma 1 Forma 2
1 Dupla Negação DN ¬¬ ⇔
2 Idempotência ID ∨ ⇔ ∧ ⇔
3 Comutatividade COM ∨ ⇔ ∨ ∧ ⇔ ∧
4 Associatividade ASSOC ∨( ∨ ) ⇔ ( ∨ )∨ ∧( ∧ ) ⇔ ( ∧ ) ∧
5 Distributividade DIST ∨( ∧ ) ⇔( ∨ )∧( ∨ ) ∧( ∨ ) ⇔ ( ∧ )∨( ∧ )
6 De Morgan MORG ¬( ∧ ) ⇔ ¬ ∨ ¬ ¬( ∨ ) ⇔ ¬ ∧ ¬
7 Eliminação da condicional COND → ⇔¬ ∨ ¬( → ) ⇔ ∧¬
8 Eliminação da bicondicional BICOND ↔ ⇔ (¬ ∨ ) ∧ (¬ ∨ ) ¬( ↔ ) ⇔ ( ∧ ¬ ) ∨ (¬ ∧ )
9 Contraposição CP → ⇔¬ →¬
10 Exportação-Importação EI ∧ → ⇔ →( → )

Regras de Equivalência para álgebra de proposições

∧( ∨ )⇔ (ABS-1)
∨( ∧ )⇔ (ABS-2)
∨¬ ⇔ (ABS-3)
11 Absorção ABS ∧¬ ⇔ (ABS-4)
∨ ⇔ (ABS-5)
∧ ⇔ (ABS-6)
∨ ⇔ (ABS-7)
∧ ⇔ (ABS-8)