La lógica matemática surge de aplicar los métodos de la matemática a la lógica. Estudia los métodos y principios que permiten distinguir el razonamiento correcto del incorrecto. Una proposición simple es una oración que puede ser verdadera o falsa pero no ambas a la vez, mientras que una proposición compuesta une dos proposiciones simples mediante operadores lógicos como la conjunción y la disyunción.