Proposición

Proposición.  Es la unidad mínima del discurso.  En la lógica bivalente sólo pueden atribuírsele los valores de  verdad verdadero y falso.  Existen dos tipos de proposiciones: variables proposicionales [v] y constantes proposicionales o propositivas. Algunos autores insisten en afirmar diferencias entre `enunciado' y `proposición'.  Para ellos, el enunciado es la expresión en el idioma que se trate mientras que la proposición corresponde al lenguaje lógico.  Ferrater Mora considera a las sentencias y no a las proposiciones.  Sin embargo, otros lógicos consideran sinónimos `enunciado' y `proposición'. A pesar de la cientificidad de la lógica, los lógicos no han logrado llegar a un acuerdo universal en cuanto a  algunos términos: por ejemplo, Quine [v] rechaza las proposiciones, algunos piensan que proposición y enunciado es lo mismo, otros prefieren a las oraciones; en este diccionario entenderemos -aunque a algunos puristas lógicos les llegase a desagradar- `oración' y `enunciado' como sinónimos, en un afán esclarecedor.