Flashcard FC98705
Qual forma lógica é equivalente a uma implicação p → q?
Lógica de Proposições
CEBRASPE (CESPE) · 2018
Qual forma lógica é equivalente a uma implicação p → q?
Mostrar resposta e comentário
Resposta
(p → q) é logicamente equivalente à contraposição (¬q → ¬p).Explicação:
A contraposição inverte a ordem e nega as proposições; assim, p → q ≡ ¬q → ¬p.
O inverso (¬p → ¬q) não é equivalente à implicação original.
exemplo:
Seja p = "está chovendo" e q = "a rua está molhada".
Implica: Se está chovendo, então a rua está molhada.
Contrapositiva: Se a rua não está molhada, então não está chovendo.
Ambas têm os mesmos valores de verdade em todas as situações.
Já o inverso — Se não está chovendo, então a rua não está molhada — pode ser falso (por exemplo, não choveu, mas a rua foi molhada por uma mangueira), mostrando que o inverso não é equivalente.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/94288
Conteúdo do catálogo FC Concursos · Atualizado em