Questão FC514846
P: “Não quero debate, mas não tenho receio de debater.” Com base na proposição P precedente, julgue o item que se seguem, referentes a aspectos atinentes à lógica sentencial. A pro
Lógica de Proposições
CEBRASPE (CESPE) · 2025
P: “Não quero debate, mas não tenho receio de debater.”
Com base na proposição P precedente, julgue o item que se seguem, referentes a aspectos atinentes à lógica sentencial.
A proposição P é equivalente à negação de “Se não quero debate, então tenho receio de debater.”.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Seja p a proposição "quero debate" e q a proposição "tenho receio de debater".
A proposição P "Não quero debate, mas não tenho receio de debater" equivale logicamente a \( \neg p \land \neg q \), pois a partícula mas funciona como e no valor lógico.
A proposição "Se não quero debate, então tenho receio de debater" é a condicional \( \neg p \to q \).
A negação dessa condicional é \( \neg(\neg p \to q) \). Pela equivalência lógica conhecida, \( \neg(A \to B) \equiv A \land \neg B \), temos \( \neg(\neg p \to q) \equiv \neg p \land \neg q \).
Portanto, a negação da condicional é exatamente a mesma fórmula que P, logo as sentenças são equivalentes e o julgamento é CERTO.
Conteúdo do catálogo FC Concursos · Atualizado em