CÁLCULO PROPOSICIONAL Proposiciones

Traducciones

Tablas de verdad

Leyes del cálculo proposicional

Inferencia

PROPOSICIONES

Las proposiciones son definidas, apenas “como unpensamiento completo”. Para nuestro propósito lasproposiciones pueden ser tentativamente igual a unasentencia.

Las proposiciones son una sentencia declarativa, o reglaslas cuales tienen valores de verdad, una proposición puedetener dos valores, verdadero o falso. Pero no ambos(verdadero y falso) y tampoco pueden no tomar ningúnvalor.

Es parecida a la oración pero carece de un elemento y sepuede definir como la unidad de lenguaje que tiene sujeto ypredicado, verbo en modo personal, pero cuyo sentido esincompleto. Esta unidad de lenguaje depende de otra consentido completo. También recibe el nombre de oraciónsubordinada.

Proposiciones Simples Son aquellas que no tienen oraciones componentes

afectadas por negaciones ("no") o términos de enlacecomo conjunciones ("y"), disyunciones ("o") oimplicaciones ("si . . . entonces"). Pueden aparecertérminos de enlace en el sujeto o en el predicado, perono entre oraciones.

Ejemplo:

Carlos Fuentes es un escritor.

Proposiciones Compuestas Una proposición será compuesta si no es simple. Es

decir, si está afectada por negaciones o términos deenlace entre oraciones componentes.

Ejemplo:

Si x es número primo, entonces x impar.

Conectivos Proposicionales