Question

Sobre lógica, como resolvo usando regras de inferência?

p→~q,r→q,~~(p^r)

Answer 1

1.p→~q
2. r→q
3. ~~(p^r)
_______
4. p ^ r 3 DN
5. p      4 SIMP
6. ~q    5,1 MP
7. r       4 SIMP
8. q       7,2 MP
9 ~q^q    6,8 CONJ   

CONTRADIÇÃO