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 é