Regras de Inferência

Question 1

Modus Ponens

Answer 1

p -> q
p
.: q

Question 2

Silogismo Hipotético

Answer 2

p -> q
q -> r
.: p -> r

Question 3

Dilema Construtivo

Answer 3

(p -> q) /\ (r -> s)
p V r
.: q V s

Question 4

Simplificação

Answer 4

p ^ q

.: p

Question 5

Adição

Answer 5

p

.: p V q

Question 6

Modus Tollens

Answer 6

p -> q
~q
.: ~p

Question 7

Silogismo Disjuntivo

Answer 7

p V q
~p
.: q

Question 8

Absorção

Answer 8

p -> q

.: p -> (p ^ q)

Question 9

Conjunção

Answer 9

p
q
.: p ^q