REGRAS DE INFERNICA 2.

ADIO (AD) (i) p | p q ; (ii) p | q p SIMPLIFICAO (SIMP) (i) p q | p ; (ii) p q | q CONJUNO (CONJ) (i) p , q | p q ; (ii) p , q | q p ; ABSROAO (ABS) (i) p q | p (p q) MODUS PONENS (MP) (i) p q , p | q MODUS TOLLES (MT) (i) p q , ~q | ~p SILOGISMO DISJUNTIVO (SD) (i) p q , ~p | q (ii) p q , ~q | q SILOGISMO HIPOTTICO (SH) p q , q r | p r DILEMA CONTRUTIVO (DC) p q , r s, p r | q s DILEMA DESTRUTIVO (DD) p q , r s, ~q ~s | ~p ~r 5. 6. REGRAS DE EQUIVALNCIA 1. 2. 3. IDEMPOTNCIA (ID) (i) ppq (ii) p p p COMUTAO (COM) (i) p q q q (ii) p q q p ASSOCIAO (ASSOC) (i) p (q r) (p q) r; (ii) p (q r) (p q) r DISTRIBUIO (DIST) (i) p (q r) (p q) (p r); (ii) p (q r) (p q) (p r); DUPLA NEGAO (DN) p ~~p DE MORGEN (DM) (i) ~(p q) ~p ~q (ii) ~(p q) ~p (p q) p CONDICIONAL (COND) p q ~p q BICONDICIONAL (BICOND) (i) p q (p q) (q p) (ii) p q (p q) (~p ~q) (iii) p q (~p q) (~q p) (p ~q) ~(q ~p) (p ~q) ~(q ~p) CONTRAPOSIO (CP) p q ~q ~q

3.

4.

4.

5. 6. 7. 8.

7. 8.

9. 10. 11.

9.

10. EXPORTAO IMPORTAO (EI)

P q r p (q r)