Proposición

Enunciado en el que se afirma algo, que puede ser verdadero o falso. Suele ser la expresión de un juicio y, por lo tanto, todo lo que se considera en un juicio tiene su reflejo en la proposición. Muchas veces se emplea ‘proposición’ en el mismo sentido que ‘enunciado’. Según la definición clásica de Aristóteles, una proposición es un discurso enunciativo que expresa un juicio y posee un significado que es verdadero o falso. La lógica se encarga de analizar la estructura y el valor de verdad de las proposiciones, así como su clasificación. Mientras que en la lógica clásica se afirma que la proposición (como el juicio) se compone de sujeto, verbo o cópula y predicado, la lógica formal moderna afirma que la proposición se compone de un ‘argumento’ (sujeto) y un ‘predicado’ (verbo). En lógica simbólica, el cálculo de proposiciones analiza la estructura formal de las proposiciones y el valor de verdad que éstas poseen.