LÓGICA PROPOSICIONAL (Semana cuatro)

LÓGICA PROPOSICIONAL

La lógica proposicional es la parte de la lógica que estudia la formación de  proposiciones   complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna  de las proposiciones pmas simples.

Trata sobre la verdad o la falsedad de las proposiciones y de cómo la verdad se transmite de unas proposiciones (premisas) a otras (conclusión). Una proposición es la unidad mínima de significado susceptible de ser verdadera o falsa.

Una palabra aislada, por sí misma, no nos dice nada. La palabra "perro" tiene una referencia, pero no nos da ninguna información si no es en el contexto de una proposición como "El perro está haciendo cosas raras". Por ello una palabra, a menos que constituya una proposición, no es verdadera o falsa. Sólo tienen valor de verdad las proposiciones.

Una proposición es cualquier enunciado lógico al que se le puede asignar un valor de verdad (1) o falsedad (0)

-El perro es grande

- Voy al baile

-Estudie para el parcial

Términos de enlaces/ Operaciones

-Negación: El valor de verdad de la negación es el contrario de la proposición negada

-Disyunción: La disyunción solamente es falsa  si lo son sus dos componentes

-Conjunción: solamente si las componentes de la conjunción son ciertas, la conjunción es cierta

-Condicional: E l condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la no se puede seguir la falsedad.

Tablas de verdad 

Es una tabla que muestra el valor de verdad de una proposición compuestas, para cada combinación de valores de verdad que se pueda asignar a sus componentes.