Questão FC553275
Considere a seguinte afirmação: "Se Miguel não pediu Marta em casamento, então Marta continuou morando em Pernambuco." Uma afirmação logicamente equivalente à afirmação acima é:
Lógica de Proposições
IBAM · 2023
Considere a seguinte afirmação: "Se Miguel não pediu Marta em casamento, então Marta continuou morando em Pernambuco." Uma afirmação logicamente equivalente à afirmação acima é:
- se Marta não continuou morando em Pernambuco, então Miguel pediu Marta em casamento.
- se Marta continuou morando em Pernambuco, então Miguel não pediu Marta em casamento.
- se Miguel pediu Marta em casamento, então Marta não continuou morando em Pernambuco.
- se Miguel não pediu Marta em casamento, então Marta não continuou morando em Pernambuco.
Mostrar resposta e comentário
Gabarito
A
Comentário do professor
Defina P: "Miguel pediu Marta em casamento" e Q: "Marta continuou morando em Pernambuco".
A afirmação original é \( \lnot P \rightarrow Q \).
Uma condicional é logicamente equivalente à sua contrapositiva. Para formar a contrapositiva negam‑se ambas as partes e trocam‑se de posição.
Aplicando isso a \( \lnot P \rightarrow Q \) obtemos \( \lnot Q \rightarrow P \).
Em palavras, isso diz: se Marta não continuou morando em Pernambuco, então Miguel pediu Marta em casamento, que é exatamente a alternativa correta. A equivalência garante que ambas têm os mesmos valores de verdade.
Conteúdo do catálogo FC Concursos · Atualizado em