Regras de Inferência

Implicações Tautológicas
1. Adição (ADI) 6. Modus Tollens (MT)

P⇒Pv Q (P → Q) ^ ~Q ⇒ ~P

2. Simplificação (SIMP) 7. Silogismo Disjuntivo (SD)

P^Q⇒P (P v Q) ^ ~Q ⇒ P

3. Conjunção (CONJ) 8. Silogismo Hipotético (SH)

P^Q⇒P^Q (P → Q) ^ (Q → R) ⇒ (P → R)

4. Absorção (ABS) 9. Dilema Construtivo (DC)

(P → Q) ⇒ P → (P ^ Q) (P → Q) ^ (R → S) ^ (P v R) ⇒ (Q v S)

5. Modus Ponens (MP) 10. Dilema Destrutivo (DD)

(P → Q) ^ P ⇒ Q (P → Q) ^ (R → S) ^ ~Q v ~S ⇒ ~P v ~R

Equivalências tautológicas
1. Indepotência (IND) 6. De Morgan (DM)

(P ^ P) ⇔ P ~(P ˄ Q) ⇔ ~P ˅ ~Q

(P v P) ⇔ P ~(P ˅ Q) ⇔ ~P ˄ ~Q

2. Comutação (COM) 7. Condicional (COND)

(P ^ Q) ⇔ (Q ^ P) P → Q ⇔ ~P v Q

(P v Q) ⇔ (Q v P)

3. Associação (ASS) 8. Bicondicional (BICOND)

(P ^ Q) ^ R ⇔ P ^ (Q ^ R) P ↔ Q ⇔ (P → Q) ^ (Q → P)

(P v Q) v R ⇔ P v (Q v R) P ↔ Q ⇔ (P ^ Q) v (~P ^ ~Q)

4. Distribuição (DIST) 9. Contraposição (CP)

P ˄ (Q ˅ R) ⇔ (P ˄ Q) ˅ (P ˄ R) P → Q ⇔ ~Q → ~P

P ˅ (Q ˄ R) ⇔ (P ˅ Q) ˄ (P ˅ R)

5. Dupla Negação (DN) 10. Exportação/Importação (EI)

~~P ⇔ P (P ˄ Q) → R ⇔ P → (Q → R)