Questão FC299921
Considere a afirmação: “Se Jonas é um soldado então é forte”. A negação dessa afirmação é
Lógica de Proposições
FGV · 2022
Considere a afirmação:
“Se Jonas é um soldado então é forte”.
A negação dessa afirmação é
- Jonas é um soldado e não é forte.
- Se Jonas não é um soldado então é forte.
- Se Jonas é um soldado então não é forte.
- Se Jonas não é um soldado então não é forte.
- Se Jonas não é forte então não é um soldado.
Mostrar resposta e comentário
Gabarito
A
Comentário do professor
A afirmativa dada é uma sentença condicional: "Se Jonas é um soldado então é forte". Denotando \(p\): "Jonas é um soldado" e \(q\): "Jonas é forte", a sentença é \(p \rightarrow q\).
Para negar uma condicional observamos quando ela é falsa: apenas no caso em que a hipótese ocorre e a conclusão não ocorre.
Assim, a negação lógica é \(\lnot(p \rightarrow q)\), que é equivalente (por equivalência lógica) a \(p \land \lnot q\).
Traduzindo para a linguagem natural: "Jonas é um soldado e não é forte". Essa é a negação correta da condicional original.
Conteúdo do catálogo FC Concursos · Atualizado em