Questão de Raciocínio Lógico — Fundamentos de Lógica — UECE-CEV 2025
Raciocínio LógicoFundamentos de Lógica
- Código
- qg616602
- Banca
- UECE-CEV
- Órgão
- UECE
- Ano
- 2025
- Nível
- Médio
- Cargo
- CEV - - Prova de Conhecimentos Gerais - 1ª Fase (1º Semestre de 2026)
O filósofo inglês George Boole (1815 – 1864) propôs, em 1847, que “toda proposição lógica, categórica ou hipotética, deveria poder ser formulada por meio de uma expressão exata e rigorosa. Por isso pretendo estabelecer o cálculo da lógica e reivindico para ele um lugar entre as formas conhecidas de análise matemática”.BOOLE, George. The mathematical analysis of logic: being an essay towards a calculus of deductive reasoning. Cambridge: Cambridge University Press, 2009. p. 4ss. (Adaptado).Atente para a seguinte sintaxe lógica: 
Se aceitarmos a sintaxe proposta acima, sabendo que as proposições têm um valor de verdade binário – verdadeiro (1) ou falso (0) –, a conclusão e a demonstração do silogismo acima é
Se aceitarmos a sintaxe proposta acima, sabendo que as proposições têm um valor de verdade binário – verdadeiro (1) ou falso (0) –, a conclusão e a demonstração do silogismo acima é- Ay ⊃ z = 0, pois, se a primeira premissa é 1 e a segunda é 0, o consequente é 0 (1.0 = 0).
- Bx ⊃ z = 1, pois, se a primeira premissa é 1 e a segunda é 1, o consequente é 1 (1.1 = 1).
- Cx ⊃ z = 0, pois, se a primeira premissa é 0 e a segunda é 0, o consequente é 0 (0.0 = 0).
- Dz ⊃ y = 1, pois, se a primeira premissa é 1 e a segunda é 1, o consequente é 1 (1.1 = 1).