LÓGICA PROPOSICIONAL

¿Qué es la lógica?

Es una ciencia formal y una rama de la filosofía; que estudia los principios del pensamiento y las
estructuras del pensamiento.

Además, es un sistema que permite verificar si el razonamiento es correcto o incorrecto.

¿Cuál es la finalidad de la lógica?

Es el estudio de la razón en el conocimiento.

¿Cuáles son las partes de la lógica?

Lógica formal o aristotélica: se dedica al estudio de la inferencia mediante la construccion de

lenguajes formales, sistemas deductivos y semánticas formales.

Lógica simbólica o matemática (lógica proposicional): se basa en la aplicación de símbolos por

medio de tablas de verdad, que nos permiten ver lo verdadero o falso de las proposiciones.

*La lógica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin tomo como
elemento básico de análisis a la proposición.

¿Qué es proposición?

Es un enunciado al cual se le puede dar un valor de verdad. Es decir, es verdadero o falso.

Proposiciones simples

Las proposiciones se representan simbólicamente mediante el uso de letras minúsculas del

alfabeto. Estas reciben el nombre de letras o variables proposicionales, de esta forma el lenguaje
proposicional se hace más simple y exacto que el lenguaje natural.

Proposiciones compuestas

Son aquellas que están formadas por dos o mas proposiciones simples. Y estas están ligadas
mediante palabras conocidas como conectivos lógicos que sirven para unir o enlazar los
enunciados.

Conectivos lógicos

Son palabras que vinculan las ideas expresadas en dos o mas proposiciones simples, para
comunicar algo mas complejo. Los conectivos lógicos están identificados con un símbolo especial y
un nombre que representan la función que cumplen.
Las proposiciones y valor de verdad

Para determinar el valor de verdad de una proposición compuesta se elabora una tabla de verdad.
En general para “n” proposiciones, se puede presentar 2 elevado a la n posibilidades.
Operaciones lógicas y tablas de verdad

Conjunción: Vincula dos proposiciones mediante el conector “y” cuyo símbolo es “˄” y se llama
conjuntor.

Disyunción débil: Vincula dos proposiciones mediante el conector “o” cuyo símbolo es “˅” y se
llama disyuntor.

Disyunción fuerte: Vincula dos proposiciones mediante el conector “O…o” cuyo símbolo es “∆” y
se llama disyuntor fuerte.
Condicional: Vincula dos proposiciones mediante el conector “Si…..entonces….” cuyo símbolo es
“→” y se llama implicador.

Bicondicional: Vincula dos proposiciones mediante el conector “….si y solo si….” cuyo símbolo es
“↔” y se llama doble implicador.

Negación: Afecta a una sola proposición. Es un operador que cambia el valor de verad de una
proposición. Cuyo símbolo es “~” y se llama negador.
Tautologías, contradicciones y contingencia

Tautología: Si los valores de su tabla de verdad son todos verdaderos.

Contradicción: Si los valores de su tabla de verdad son todos falsos.

Contingencia: Si los valores de su tabla de verdad son verdaderos y falsos.

Ejemplos: