Questão de Raciocínio LógicoLógica Proposicional e Tabelas-Verdade
- Banca:
- FGV
- Órgão:
- SEFAZ-PR
- Ano:
- 2025
- Cargo:
- Auditor Fiscal
- Nível:
- Superior
- Modalidade:
- Múltipla escolha
Sejam P, Q e R proposições lógicas simples que compõem a seguinte estrutura proposicional:
(P ⨀ ¬ P) ⋀ [Q → (Q ⨂ R)]
em que ⨀ e ⨂ representam conectivos lógicos ocultos e ¬ P representa a negação de P.
Sabe-se que tal estrutura proposicional é uma tautologia, isto é, seu valor lógico é sempre verdadeiro quaisquer que sejam os valores lógicos individuais de P, Q e R.
Os conectivos ocultados por ⨀ e ⨂ são, respectivamente,
(P ⨀ ¬ P) ⋀ [Q → (Q ⨂ R)]
em que ⨀ e ⨂ representam conectivos lógicos ocultos e ¬ P representa a negação de P.
Sabe-se que tal estrutura proposicional é uma tautologia, isto é, seu valor lógico é sempre verdadeiro quaisquer que sejam os valores lógicos individuais de P, Q e R.
Os conectivos ocultados por ⨀ e ⨂ são, respectivamente,
Ver gabarito oficial
Gabarito: Alternativa A.
Esta questão tem gabarito comentado por professor — exclusivo para assinantes.
Conhecer o CFP Pro