LP Melany Sales

Lógica Proposicional

Se dice que es una rama  clásica que estudia las proposiciones o sentencias lógicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad.

Proposición: es una oracion, la cual es verdadera o falsa.

Existen dos tipos de proposición las cuales son:   

• Simples (atómicas): es de una sola oración.
• Compuestas (moleculares):  de 2 ó mas oraciones

Existe un tipo de conectivo que une a la proposición compuesta el cual se llama:  Conectivo Lógico.

los tipos de conectivos son los siguientes: 

Conjunción = y

Disyunción = o

Implicacion = si... Entonces

Doble Implicacion = si y solo si

Negacion = no

 

Al momento de hacerlo por oraciones, también lo podemos pasar a tablas de verdad, la cual se verá en la siguiente Imagen.

 

También se dice que existen leyes para poder solucionar diferentes problemas o para hacer tablas de verdad.

Leyes de Morgan

 

 Para poder realizar las tablas de verdad o ya sea las oraciones es demasiado importante tener la mente abierta y sobre todo trabajar con la lógica ya que a veces se nos presentan problemas que nosotros lo vemos dificiles, pero a la hora de trabajarlos con lógica se nos hacen posibles trabajarlos.