Questão FC871407
A negação lógica da proposição “Se Bruno é investigador e é lutador de judô, então todo investigador sabe lutar”, é:
Lógica de Proposições
IBADE · 2026
A negação lógica da proposição “Se Bruno é investigador e é lutador de judô, então todo investigador sabe lutar”, é:
- Bruno é investigador e é lutador de judô e existe investigador que não sabe lutar.
- Bruno é investigador e é lutador de judô e investigador algum sabe lutar.
- Bruno não é investigador e não é lutador de judô e existe investigador que não sabe lutar.
- Bruno não é investigador ou não é lutador de judô e algum investigador sabe lutar.
- Bruno não é investigador ou não é lutador de judô ou existe investigador que não sabe lutar.
Mostrar resposta e comentário
Gabarito
A
Comentário do professor
Se Bruno é investigador e é lutador de judô, então todo investigador sabe lutar.
Trata-se de uma proposição condicional da forma \(P \rightarrow Q\), onde P = "Bruno é investigador e é lutador de judô" e Q = "todo investigador sabe lutar".
A negação de uma condicional é dada por \( \neg(P \rightarrow Q) \equiv P \land \neg Q\).
Manter a primeira parte significa conservar P: Bruno é investigador e é lutador de judô.
Negar a segunda parte exige inverter o quantificador universal. A negação de "todo investigador sabe lutar" é um quantificador existencial: "existe investigador que não sabe lutar".
Juntando as duas partes obtemos a negação: Bruno é investigador e é lutador de judô
e existe investigador que não sabe lutar.
Conteúdo do catálogo FC Concursos · Atualizado em