You are on page 1of 3

REGRAS DE INFERÊNCIA

1. Modus Ponens (M. P.)

p →q
p
.·. q

2. Modus Tollens (M. T.)

p →q
~q
.·. ~p

3. Silogismo Hipotético (S. H.)

p →q
q →r
.·. p→r

4. Silogismo Disjuntivo (S. D.)

p vq
~p
.·. q
5. Dilema Construtivo (D. C.)

(p → q) . (r → s)
p vq
.·. qvs

6. Dilema Destrutivo (D. D.)

(p → q) . (r → s)
~q v ~s
.·. ~p v ~r

7. Absorção (Abs.)

p →q
.·. p → (p . q)

8. Simplificação (Simp.)

p .q
.·. p

9. Conjunção (Conj.)

p
q
.·. p. q

10. Adição (Ad.)

p
.·. pvq

You might also like