proposición

La proposición es un término usado principalmente en lógica, filosofía y lingüística para referirse al contenido declarativo de una afirmación. En este sentido, una proposición es una oración o enunciado que tiene un valor de verdad, es decir, puede ser verdadero o falso, pero no ambas cosas al mismo tiempo. Las oraciones interrogativas o imperativas no suelen considerarse proposiciones en este marco.

En lógica y semántica formal, las proposiciones se evalúan respecto a un modelo o interpretación: una proposición es verdadera o falsa según esa interpretación. No depende de quien la enuncia: por ejemplo, La Tierra gira alrededor del Sol es una proposición evaluable en el marco adecuado.

En matemáticas y lógica axiomatizada, la palabra proposición se usa para designar una afirmación que puede ser demostrada o refutada. Un teorema es una proposición demostrada; una conjetura es una proposición no probada; un corolario es una proposición que se deduce de un teorema. Ejemplos: 2+2=4 es una proposición; La suma de dos números pares es par es una proposición que puede ser probada.

Fuera de la lógica y las matemáticas, la palabra se usa para referirse a una propuesta o plan, por ejemplo una proposición de ley o una propuesta de proyecto.

Etimológicamente, proviene del latín propositio, derivada de proponere, “proponer”.