A lógica matemática analisa determinada proposição buscando identificar se representa uma afirmação verdadeira ou falsa.

A princípio, a lógica era ligada à filosofia, tendo sido iniciada por Aristóteles (384-322 a.C.) que se baseava na teoria do silogismo, ou seja, em argumentações válidas.

A lógica só passou a ser uma área da Matemática a partir dos trabalhos de George Boole (1815-1864) e Augustus de Morgan (1806-1871), quando eles apresentaram os fundamentos da lógica algébrica.

Essa mudança de paradigma tornou a lógica matemática uma importante ferramenta para a programação de computadores.