Analise as proposições:
x: [p → (q V r)] ↔ (p ∧~q∧~r)
y:(p→q)→(~q → ~p)
a) x é contingente.
b) y é contingente.
c) x é uma tautologia.
d) y é uma c...
Analise as proposições: x: [p → (q V r)] ↔ (p ∧~q∧~r) y:(p→q)→(~q → ~p) a) x é contingente. b) y é contingente. c) x é uma tautologia. d) y é uma contradição. e) x é uma contradição.
Compartilhar