LP GAVI ORDOÑEZ

LÓGICA PROPOSICIONAL

Lógica proposicional es un sistema en el cual los elementos más simples representan proposiciones y cuyas constantes lógicas llamada conectivos representan operaciones.

Un proposición es cualquier afirmación afirmación que sea verdadera o falsa pero que no puede ser ambas a la vez, por ejemplo si decimos que el 4 es un número par nos damos cuenta que es una afirmación es verdadera.

hay dos tipos de proposiciones: SIMPLES Y COMPUESTAS

SIMPLES: 1 oración

COMPUESTAS: 2 o más oraciones

LLamaremos valor verdadero o de verdad de una proposición a su veracidad o falsedad.

Existen varias formas de conectar las proposiciones entre si, es decir varios conectivos logico dentro de ellos los siguientes:

CONJUNCION 

esta proposición sera verdadera en el caso de que las dos proposiciones lo sean.

DISYUNCIÓN

Esta proposición sera verdadera si al menos una de las dos p ´o q lo es.

PROPOSICIÓN CONDICIONAL

Una proposición condicional es falsa ´únicamente cuando siendo verdad la hip´otesis, la conclusión es falsa (no se debe deducir una conclusión falsa de una hipótesis verdadera).

PROPOSICIÓN BICONDICIONAL 

Luego la proposición bicondicional  es verdadera ´únicamente en caso de que ambas proposiciones, p y q, tengan los mismos valores de verdad.

---

NEGACIÓN

no, nunca, jamás

 A Través de las tablas de verdad podremos encontrar posibles respuestas de una forma más fácil es un tema bastante interesante pero que requiere de una buena lógica para asociar las diferentes proposiciones que se nos sean planteadas en determinadas ocasiones para poder encontrar su valor de verdad.