Questão FC300003
São logicamente verdadeiras as seguintes afirmações: I. Eu sou casado ou eu não sou policial. II. Eu não tenho filho e eu não sou casado. A partir dessas informações, pode-se afirm
Lógica de Proposições
FGV · 2023
São logicamente verdadeiras as seguintes afirmações:
I. Eu sou casado ou eu não sou policial.
II. Eu não tenho filho e eu não sou casado.
A partir dessas informações, pode-se afirmar que
- eu não sou casado, sou policial e não tenho filho.
- eu não sou casado, não sou policial e não tenho filho.
- eu sou casado, sou policial e tenho filho.
- eu sou casado, não sou policial e tenho filho.
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
Traduzindo as proposições: tome \(p\) = “sou casado”, \(q\) = “sou policial”, \(r\) = “tenho filho”. Então I é \(p \lor \neg q\) e II é \(\neg r \land \neg p\).
Da segunda proposição, por ser uma conjunção verdadeira, ambos os termos são verdadeiros: \(\neg r\) (ou seja, não tenho filho) e \(\neg p\) (ou seja, não sou casado).
Como \(\neg p\) é verdadeiro, \(p\) é falso. Substituindo em \(p \lor \neg q\) obtemos \(F \lor \neg q\).
Para que a disjunção \(F \lor \neg q\) seja verdadeira, \(\neg q\) deve ser verdadeiro. Logo, não sou policial.
Portanto: não sou casado, não sou policial e não tenho filho.
Conteúdo do catálogo FC Concursos · Atualizado em