Flashcard FC831538
Qual proposição é logicamente equivalente a \(P \rightarrow Q\) e preserva sua tabela-verdade?
Lógica de Proposições
SELECON · 2021
Qual proposição é logicamente equivalente a \(P \rightarrow Q\) e preserva sua tabela-verdade?
Mostrar resposta e comentário
Resposta
Contrapositiva: \( \lnot Q \rightarrow \lnot P\).Formada ao negar ambos os termos e trocar suas posições, ela tem exatamente a mesma tabela-verdade de \(P \rightarrow Q\), portanto é logicamente equivalente.
exemplo:
P: "o número é múltiplo de 4"
Q: "o número é par"
\(P \rightarrow Q\): "Se o número é múltiplo de 4, então é par".
\(\lnot Q \rightarrow \lnot P\): "Se o número não é par, então não é múltiplo de 4".
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829024
Conteúdo do catálogo FC Concursos · Atualizado em