Questão FC299978
A negação lógica da sentença “Se eu como e não corro, então eu engordo” é:
Lógica de Proposições
FGV · 2017
A negação lógica da sentença “Se eu como e não corro, então eu engordo” é:
- Se eu como e não corro, então eu não engordo.
- Eu como e não corro e não engordo.
- Se eu não engordo, então eu não como ou corro.
- Eu não como e corro e não engordo.
- Se eu não como ou corro, então eu não engordo.
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
Representamos a sentença como \( (A \land \lnot B) \to C\), onde A = "eu como", B = "eu corro" e C = "eu engordo". O antecedente é \(A \land \lnot B\) e o consequente é \(C\).
Para negar um condicional usamos a equivalência lógica \(\lnot (P \to Q) \equiv P \land \lnot Q\). Aplicando aqui:
\(\lnot\big((A \land \lnot B) \to C\big) \equiv (A \land \lnot B) \land \lnot C\).
Em linguagem natural isso diz: eu como e não corro e não engordo. Essa é a negação correta da sentença original.
Conteúdo do catálogo FC Concursos · Atualizado em