Flashcard FC831495
Qual é a contrapositiva logicamente equivalente de uma implicação \(p \to q\)?
Lógica de Proposições
SELECON · 2023
Qual é a contrapositiva logicamente equivalente de uma implicação \(p \to q\)?
Mostrar resposta e comentário
Resposta
\( \neg q \to \neg p\)Troca os termos e nega ambos, sendo logicamente equivalente a \(p \to q\), qualquer situação que torna um verdadeiro torna o outro verdadeiro.
Exemplo:
p: "tem senha correta", q: "acesso liberado".
Original: \(p \to q\): "Se tem senha correta então o acesso é liberado".
Contrapositiva: \( \neg q \to \neg p\): "Se o acesso não é liberado então não tem senha correta".
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/828981
Conteúdo do catálogo FC Concursos · Atualizado em