Sejam as proposições p e q onde p implica logicamente q e sejam as negações ~p e ~q. Tem-se que:
a) p é equivalente logicamente a q.
b) p implica logicamente q e q implica p.
c) p implica logicamente q e ~p implica ~q.
d) p e ~q é uma contradição.
e) p ou ~q é uma tautologia.
RESPOSTA: D
_____________________________
Sabemos que p implica logicamente q, ou seja, sabemos que a condicional p–>q é VERDADEIRA. Isto indica que o caso V–>F NÃO EXISTE, pois nele o enunciado não seria atendido.
Tendo isto em mente, podemos avaliar cada alternativa de resposta. Veja que p e ~q (da alternativa D) é a negação da condicional p–>q. Como a condicional p–>q é sempre verdadeira (por exigência do enunciado, que removeu o único caso onde ela poderia ser falsa), então a sua negação p e ~q será sempre falsa, pois deve ter valor lógico oposto ao da proposição original. Assim, p e ~q é uma contradição.
Nenhum comentário:
Postar um comentário