Denomina-se proposição a toda frase declarativa, expressa em palavras ou símbolos, que exprima um juízo ao qual se possa atribuir, dentro de certo contexto, somente um de dois valores lógicos possíveis: Verdadeiro ou Falso.