Q248700
UECE-CEV - 2025 - UECE - 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 é
Comentários
Ainda não há comentários aprovados.
Questoes: UECE-CEV - 2025 - UECE - Prova de Conhecimentos Gerais - 1ª Fase (1º Semestre de 2026)