Professional Documents
Culture Documents
p →q
p
.·. q
p →q
~q
.·. ~p
p →q
q →r
.·. p→r
p vq
~p
.·. q
5. Dilema Construtivo (D. C.)
(p → q) . (r → s)
p vq
.·. qvs
(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
p
.·. pvq