Flashcard FC831551
Qual é a contrapositiva de uma condicional \(P \to Q\) e ela é logicamente equivalente à condicional original?
Lógica de Proposições
SELECON · 2018
Qual é a contrapositiva de uma condicional \(P \to Q\) e ela é logicamente equivalente à condicional original?
Mostrar resposta e comentário
Resposta
\( \lnot Q \to \lnot P\), sim, é equivalente a \(P \to Q\).Aplica-se a regra geral \(P \to Q \equiv \lnot Q \to \lnot P\), ou seja, a condicional e sua contrapositiva têm sempre o mesmo valor lógico.
Exemplo:
Considere "Se a lâmpada está acesa, então há energia", isto é \(P \to Q\).
Sua contrapositiva é "Se não há energia, então a lâmpada não está acesa", isto é \(\lnot Q \to \lnot P\).
As duas sentenças são logicamente equivalentes.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829037
Conteúdo do catálogo FC Concursos · Atualizado em