Resposta:
A lógica matemática : é o uso da lógica formal para estudar o raciocínio matemático--
Lógica formal: A Lógica Formal, também chamada de Lógica Simbólica, preocupa-se, basicamente, com a estrutura do raciocínio. A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações.
