A lógica matemática é uma subárea que desdobra-se na análise das proposições, a fim de verificar se uma afirmação é verdadeira ou falsa. Entre as suas aplicações destacam-se a programação de computadores e o uso em questões de vestibulares.

Lógica: proposições, valores verdadeiro/falso, conectivos “e” e “ou”, implicação, negação, proposições compostas, proposições equivalentes.

Na lógica, uma estrutura (ou estrutura de interpretação) é um objeto que dá significado semântico ou interpretação aos símbolos definidos pela assinatura de uma linguagem. Uma estrutura possui diferentes configurações, seja em lógicas de primeira ordem, seja em linguagens lógicas poli-sortidas ou de ordem superior.

​