Para la Lógica, como proposición se denomina la unidad de razonamiento que expresa un contenido semántico al que se puede asignar un valor de verdad, es decir, que puede ser cierto o falso. Para ello, la proposición debe expresarse mediante una lengua natural, aunque también puede realizarse en lenguajes formales, como el de las matemáticas.
Simples: Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre oraciones.
-
Compuestas: Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos de enlace entre oraciones componentes.
-
