Logica proposicional

LÓGICA PROPOSICIONAL
La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aseveracionessobre el mundo que nos rodea. La lógica proposicional permite el razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso deconectivos proposicionales.
TIPOS DE PROPOSICIONES

Proposiciones Simples: Son aquellas que no tienen oraciones componentes afectadas por negaciones o términos de enlace. Pueden aparecer términosde enlace en el sujeto o en el predicado, pero no entre oraciones.
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.
Proposiciones abiertas y proposiciones cerradas:
Examinemos la proposición:
Algunas mujeres tienen vestido rojo.
Esta proposición para algunas mujeres yen algunas situaciones es verdadera pero para otras es falsa.
Las proposiciones que para unos sujetos son falsas y para otros sujetos son verdaderas se llaman proposiciones abiertas. Lasproposiciones que para todos los sujetos son falsas o para todos los sujetos son verdaderas se llaman proposiciones cerradas.
Los conectivos básicos de la lógica proposicional son:
|NOMBRE|CONECTOR |SÍMBOLO |
|Conjunción |y |^ |
|Disyunción |o|v |
|Negación |no |~ |
|Implicación |si…entonces |=> ||Equivalencia |Igual |= |

Las reglas de la lógica proposicional se resumen en la siguiente tabla:
|p |q |Disyunción...