Flashcard FC628334
Qual inferência lógica equivalente a \(P \rightarrow Q\) que permite deduzir \( \neg Q \rightarrow \neg P\)?
Lógica de Proposições
NC UFPR (FUNPAR) · 2017
Qual inferência lógica equivalente a \(P \rightarrow Q\) que permite deduzir \( \neg Q \rightarrow \neg P\)?
Mostrar resposta e comentário
Resposta
A contrapositiva: de \(P\rightarrow Q\) segue \( \neg Q \rightarrow \neg P\).Uma implicação é logicamente equivalente à sua contrapositiva, por isso, se \(P\rightarrow Q\) é verdadeira, então também é verdadeira \( \neg Q \rightarrow \neg P\).
Isso não é o mesmo que a recíproca \(Q\rightarrow P\) nem a inversa \( \neg P \rightarrow \neg Q\).
Exemplo:
P = "o motor está ligado", Q = "há consumo de combustível".
Se \(P\rightarrow Q\) então "se o motor está ligado, há consumo de combustível".
A contrapositiva é \( \neg Q \rightarrow \neg P\), ou seja, "se não há consumo de combustível, então o motor não está ligado".
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/626353
Conteúdo do catálogo FC Concursos · Atualizado em