Question

Página 14

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: x ⊃ y = 1 y ⊃ z = 1 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 é

Accepted Answer

B) x ⊃ z = 1, pois, se a primeira premissa é 1 e a segunda é 1, o consequente é 1 (1.1 = 1).

Answer

A) y ⊃ z = 0, pois, se a primeira premissa é 1 e a segunda é 0, o consequente é 0 (1.0 = 0).

Answer

C) x ⊃ z = 0, pois, se a primeira premissa é 0 e a segunda é 0, o consequente é 0 (0.0 = 0).

Answer

D) z ⊃ y = 1, pois, se a primeira premissa é 1 e a segunda é 1, o consequente é 1 (1.1 = 1).

Mais questões de Álgebra booleana e circuitos lógicos