Término derivado de la filosofía y utilizado en la lingüística como parte de un análisis gramatical o semántico. Hace referencia a la unidad de significado que constituye el asunto de una afirmación con la forma de una oración declarativa simple. En el análisis de las proposiciones se dan dos términos: la expresión de una acción o estado simple (un predicado) y una o más entidades (nombres) que delimitan los efectos de esta acción o estado.

El sistema lógico de cálculo de proposiciones se puede utilizar como modelo para algunos aspectos del análisis gramatical y semántico. Un cálculo lógico presenta un conjunto de leyes o verdades lógicas de una manera deductiva y sistemática.