Flashcard FC511656
Qual proposição é logicamente equivalente a \( \neg p \to \neg q \)?
Lógica de Proposições
IBFC · 2022
Qual proposição é logicamente equivalente a \( \neg p \to \neg q \)?
Mostrar resposta e comentário
Resposta
\( q \to p \)Aplicando a contrapositiva, negue e troque antecedente e consequente:
\( \neg p \to \neg q \equiv \neg(\neg q) \to \neg(\neg p) \equiv q \to p \).
Exemplo:
Considere p: "conta foi aprovada", q: "cartão foi emitido".
A proposição original: "Se a conta não foi aprovada, então o cartão não foi emitido."
Forma equivalente pela contrapositiva: "Se o cartão foi emitido, então a conta foi aprovada."
Em símbolos: \( \neg p \to \neg q \equiv q \to p \).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509288
Conteúdo do catálogo FC Concursos · Atualizado em