Flashcard FC302818
Qual forma condicional é logicamente equivalente a p → q?
Lógica de Proposições
FGV · 2023
Qual forma condicional é logicamente equivalente a p → q?
Mostrar resposta e comentário
Resposta
¬q → ¬pA contrapositiva de p → q é obtida negando e invertendo antecedente e consequente: p → q ≡ ¬q → ¬p.
Isso preserva totalmente o valor lógico; a conversa (q → p) e a inversa (¬p → ¬q) não são, em geral, equivalentes.
Exemplo:
Tomando p = porta está aberta e q = há vento entrando.
p → q: "Se a porta está aberta, então há vento entrando".
Sua contrapositiva ¬q → ¬p: "Se não há vento entrando, então a porta não está aberta".
As duas sentenças têm sempre o mesmo valor lógico.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/299908
Conteúdo do catálogo FC Concursos · Atualizado em