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 é
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 é
