Boole viu a lógica de um modo novo e chegou a uma álgebra mais simples. Ele fez uma analogia entre os símbolos algébricos e os que representavam a lógica. E isso deu inicio a álgebra da lógica conhecida como Álgebra Booleana, que é muito aplicada na computação (notadamente em programção, via linguagens de programação).
George Boole (1815-1864) foi um matemático inglês, criador da "Álgebra Booleana", trabalho fundamental para a posterior evolução dos computadores. ... Em 1835 abriu uma escola e passou a estudar matemática. Boole escreveu seu primeiro trabalho de matemática com base os estudos dos matemáticos Laplace e Lagrange.
Tal álgebra é denominada álgebra booleana, devido ao seu descobridor, o matemático inglês George Boole (1815 - 1864).
A matemática é considerada uma ciência de linguagem simbólica perfeita, porque se manifestando por meio de cálculos puros e organizados, é retratada por algoritmos de único sentido. ... Até então, o pensamento grego prevalecia de que a matemática era uma ciência de verdade absoluta sem qualquer interferência humana.
O conteúdo lógico de P é somente que a verdade de A está condicionada à de B: a verdade de A necessariamente “vem acompanhada” da de B (na interpretação lógica que estamos dando de P, é claro). Por essa razão é que proposições como P são ditas proposições condicionais, ou simplesmente condicionais.
Em termos linguísticos, Sentença é o mesmo que Frase. Trata-se de uma unidade mínima de comunicação que produz efeitos de sentidos em um contexto específico. As sentenças podem ser formadas por uma ou por várias palavras, podendo ou não apresentar sujeito ou verbo.