Proposição é definida como um grupo de palavras ou símbolos que expressam uma idéia completa classificável como verdadeira ou falsa. Exemplos de proposições incluem afirmações sobre países, seres vivos e esportes. Há dois axiomas da lógica matemática: uma proposição não pode ser ao mesmo tempo verdadeira e falsa, e toda proposição é ou verdadeira ou falsa.