FC ConcursosFC Concursos

Questão FC149036

Diz-se que as proposições P e Q são logicamente equivalentes quando possuem tabelas-verdade idênticas, de modo que tais proposições assumem os mesmos valores lógicos em função de s

Lógica de Proposições

CEBRASPE (CESPE) · 2011

Diz-se que as proposições P e Q são logicamente equivalentes quando possuem tabelas-verdade idênticas, de modo que tais proposições assumem os mesmos valores lógicos em função de suas proposições representa uma forma de expressar uma mesma afirmação de diferentes maneiras. Considerando essas informações, julgue o próximo item.

A negação da proposição P→Q é logicamente equivalente à proposição ~P→ ~Q.
Mostrar resposta e comentário

Gabarito

Errado

Comentário do professor

Comentário: A afirmação está errada porque a negação da proposição composta P Q não é logicamente equivalente à proposição ~P ~Q. Na verdade, a negação de uma conjunção (P e Q) é dada pela lei de De Morgan, que afirma que a negação de P Q é equivalente a ~P ou ~Q, ou seja, ~P ∨ ~Q. Portanto, a equivalência proposta é incorreta, pois confunde a negação da conjunção com a conjunção das negações.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo