O que é Lógica matemática? A lógica matemática (ou lógica formal) estuda a lógica segundo a sua estrutura ou forma. A lógica matemática consiste e...

A lógica matemática, também conhecida como lógica formal, é o estudo da lógica de acordo com sua estrutura ou forma. Ela consiste em um sistema dedutivo de enunciados que tem como objetivo estabelecer um conjunto de leis e regras para determinar a validade dos raciocínios. A lógica matemática pode ser dividida em dois grupos principais: lógica proposicional e lógica de predicados.