Introdução à lógica

“Lógica Algébrica

• Nesta parte da lógica lança-se mão de métodos matemáticos, especialmente algébricos, para se examinar os sistemas lógicos. A título de exemplificação, mencionaremos que um sistema lógico muito conhecido, o cálculo proposicional clássico, do prisma algébrico não passa de uma álgebra de Boole; quem está trabalhando com tal cálculo está fazendo, sem saber, álgebra.”

“Fundamentos da Matemática

  Na lógica contemporânea se está efetuando uma das máximas revoluções intelectuais de todos os tempos, sendo lastimável que tão poucas pessoas, tão bem informadas sobre outros campos do saber, conheçam esse fato.”

 “ A lógica elementar, como já asseveramos, trata dos conectivos(implica, e,ou, não...) e dos quantificadores (todo e algum), quando estes últimos se referem apenas aos objetos do domínio ao qual a lógica se aplica(e não a propriedades e relações que vigem entre esses objetos).

            Ela é de importância fundamental para a lógica e a matemática tradicionais, pois é o ponto de partida para a codificação rigorosa das mesmas.”

 “Além disso, ela é importante por si própria, como teoria matemático-formal extremamente fecunda, e encontrou aplicações variadas na filosofia, nas ciências empíricas e na tecnologia. Por exemplo, ela se evidenciou imprescindível para a computação.”

Introdução à lógica elementar

Rejane Carrion – Newton C.ª da Costa

Editora da Universidade –UFRGS

Porto Alegre-RS

1988