Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — CESPE / CEBRASPE 2024
- Código
- ce192605
- Banca
- CESPE / CEBRASPE
- Órgão
- Prefeitura de Mossoró - RN
- Ano
- 2024
- Nível
- Superior
- CCerto
- EErrado
GabaritoC — Certo
✅ CERTO. A proposição S é a negação lógica da proposição R, conforme a Lei de De Morgan para a negação de uma disjunção (conectivo "ou").
A proposição R é uma disjunção de três termos: “regula inteiramente”, “é incompatível” ou “declara revogação”. Simbolicamente: R = A ∨ B ∨ C. A negação de uma disjunção é a conjunção das negações de cada termo: ~R = ~A ∧ ~B ∧ ~C. A proposição S traz exatamente isso: “não regula inteiramente”, “não é incompatível”, “nem declara revogação” — o “nem” equivale a “e não”. Portanto, S = ~R.
Proposição | R (A ∨ B ∨ C) | S (~A ∧ ~B ∧ ~C) | S é ~R? |
|---|---|---|---|
A=V, B=V, C=V | V | F | Sim |
A=V, B=V, C=F | V | F | Sim |
A=V, B=F, C=V | V | F | Sim |
A=V, B=F, C=F | V | F | Sim |
A=F, B=V, C=V | V | F | Sim |
A=F, B=V, C=F | V | F | Sim |
A=F, B=F, C=V | V | F | Sim |
A=F, B=F, C=F | F | V | Sim |
Para negar uma proposição composta pelo conectivo “ou”, troque todos os “ou” por “e” e negue cada uma das proposições simples. É a chamada Lei de De Morgan.
Gabarito: Certo.
Link permanente: /questoes/ce192605