Proposición

Una fórmula o enunciado declarativo que tiene un valor de verdad definido (verdadero o falso) bajo una interpretación o modelo especificado; en lógica, una proposición expresa una afirmación evaluable proposicionalmente y no una pregunta, mandato o expresión con valor de verdad indeterminado.