Postagens

Mostrando postagens de julho 25, 2020

Lógica Matemática

Imagem
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ócrate...