Um pouco sobre Lógica Matemática

Lógica é uma ciência que visa representar, por meio de proposições, o raciocínio válido. Entre os criadores desta ciência se destacam três.

Aristóteles - O estudo das condições de um raciocínio válido foi desenvolvido por filósofos como Paramedes e Platão. Mas foi Aristóteles quem fez o primeiro estudo formal sobre o raciocínio, baseava-se na suposição e dedução de proposições. Para ele tratava-se de mostrar o caminho para o raciocínio válido. Por exemplo :
1- Todo número par é divisível por dois.
2- Quatro é um número par.
3- Desse modo, quatro é divisível por dois.
A publicação da lógica Aristotélica foi feita por seus continuadores, os quais reuniram todos os estudos do mesmo na obra "Organum".

George Boole - Suas ideias deram início à álgebra de Boole, lógica simbólica apresentada no livro "Mathematical Analysis of Logic", que consiste na aplicação de valores lógicos (verdadeiro ou falso) às proposições e tambem na manipulação deles seguindo mecânismos similares ao da álgebra.

Gottlob Frege - Foi o principal criador da lógica matemática moderna, é considerado, junto a Aristóteles, o maior lógico de todos os tempos. Seu estudo baseava-se também em proposições lógicas as quais não necessitavam de "conteúdo", eram representadas por símbolos, o que facilitava o estudo da lógica.