Lógica Matemática

Relativo à Lógica Matemática é possível afirmar que é a arte de resolver problemas. Isso se evidencia não só por seus conectivos, mas também por forma de demonstrar problemas.

Felizmente a lógica não começou ontem, nem anteontem. Ela começou a mais ou menos 2500 anos atrás com os gregos. E teve como seu principal mestre Aristóteles. A lógica matemática é concebida por três princípios fundamentais, o principio da identidade, o da não contradição e o do terceiro excluído.

No entanto você deve estar se perguntando se existi logicas diferentes? Ou que todas as que existem são iguais? Bom, eu respondo essa pergunta muito simplesmente a lógica foi dividida e sendo descoberta novas utilidade ao longo dos anos. Começou com a logica Aristótelica que é fundamentada em argumentos, muitos se lembram do silogismo de Sócrates: “Se todo homem é mortal e Sócrates é homem, então Sócrates é mortal”. Já a lógica matemática e fundamentada em proposições, por exemplo, vou traduzir a sentença do Sócrates para lógica matemática: p: Todo homem é mortal; q: Sócrates é homem. r: Sócrates é mortal. Unificando os três temos:

Por fim, felizmente para os amantes de computação existe uma terceira lógica, chamada lógica booleana, essa lógica é mais voltada para o pessoal de computação, por isso não sei falar sobre ela.