La lógica matemática trata sobre proposiciones, que son oraciones declarativas que solo pueden ser verdaderas o falsas. Existen dos tipos de proposiciones: simples y compuestas. Las proposiciones se pueden combinar mediante operadores lógicos como la disyunción, negación, condicional y conjunción.