Flashcard FC628314
Qual é a forma logicamente equivalente de uma implicação p → q?
Lógica de Proposições
NC UFPR (FUNPAR) · 2019
Qual é a forma logicamente equivalente de uma implicação p → q?
Mostrar resposta e comentário
Resposta
Contrapositiva: ¬q → ¬p.A implicação p → q é falsa somente quando p é verdadeira e q é falsa, a contrapositiva inverte e nega os termos, ela apresenta as mesmas combinações de verdade, portanto são logicamente equivalentes.
Exemplo:
p: há energia elétrica, q: o ventilador funciona.
Implica: Se há energia então o ventilador funciona (p → q).
Contrapositiva: Se o ventilador não funciona então não há energia (¬q → ¬p).
Essas duas sentenças têm os mesmos valores de verdade, logo são equivalentes.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/626333
Conteúdo do catálogo FC Concursos · Atualizado em