Unidad 1 – Lógica Proposicional

Alejandro Moreno Londoño.

Septiembre 2018.

Universidad Nacional Abierta y a Distancia - UNAD.

Escuela de Ciencias Básicas, Tecnología e Ingeniería.

Pensamiento Lógico Matemático

 Introducción ii

Lo lógica proposicional y las tablas de verdad son una rama de la lógica que empleamos

los seres humanos para la resolución de problemas. Con esta rama de la lógica veremos como a

partir de construcciones generadas desde nuestro lenguaje natural y haciendo interpretaciones

con las proposiciones atómicas y moleculares podemos emplear la lógica para evaluar su

satisfacibilidad y/o validez.

 Objetivos iii

Se buscar dar respuestas a los ejercicios con literal C planteados en la Guía de

Actividades de la Unidad 1, los cuales comprenden 3 ejercicios:

• Conceptualización de Cuantificador Existencial mediante una presentación en Prezi

• Resolución de problemas mediante el uso de la lógica proposicional y las Tablas de

Verdad.

• Dar solución de problemas con aplicación de lógica proposicional.

 Tabla de Contenidos iv

Introducción .................................................................................................................................... ii

Objetivos ........................................................................................................................................ iii

Ejercicio 1 Presentación sobre Cuantificador Existencial. ............................................................. 1

Enlace de la presentación en Prezi ...................................................................................... 1

Ejercicio 2 Proposición y tabla de verdad...................................................................................... 2

Identificación de proposiciones simples ............................................................................. 2

Expresión del argumento en lenguaje simbólico ................................................................ 2

Tabla de verdad con el simulador TRUTH ......................................................................... 3

Tabla de verdad realizada manualmente ............................................................................. 4

Ejercicio 3 Problema de aplicación................................................................................................ 5

Definición de las proposiciones simples ............................................................................. 5

Lenguaje natural de la expresión ........................................................................................ 5

Tabla de verdad con el simulador TRUTH ......................................................................... 6

Tabla de verdad realizada manualmente ............................................................................. 7

Definición del tipo de la proposición compuesta ................................................................ 8

Conclusiones ................................................................................................................................... 9

Lista de referencias ....................................................................................................................... 10

 Ejercicio 1 1

Presentación sobre Cuantificador Existencial.

Enlace de la presentación en Prezi

Ver la presentación
 2

Ejercicio 2

Proposición y tabla de verdad.

Argumento del literal C: Este fin de semana, voy a hacer un asado y voy a realizar una

actividad en la piscina y voy a pasar tiempo agradable con mi familia.

Identificación de proposiciones simples

p: Este fin de semana, voy a hacer un asado.

q: Voy a realizar una actividad en la piscina.

r: Voy a pasar tiempo agradable con mi familia.

Expresión del argumento en lenguaje simbólico

(𝑝 ∧ 𝑞) ∧ 𝑟
Tabla de verdad con el simulador TRUTH 3

Imagen 1. Captura de pantalla de la tabla de verdad realizada con TRUTH

 4

Tabla de verdad realizada manualmente

Tabla 1. Tabla de verdad del argumento plantado realizado manualmente

p q r pΛq (p Λ q) Λ r

V V V V V

V V F V F

V F V F F

V F F F F

F V V F F

F V F F F

F F V F F

F F F F F
 5

Ejercicio 3

Problema de aplicación.

Proposiciones compuestas del literal C:

[(𝑝 → 𝑞) ∧ (~𝑞) ∧ (𝑟 → 𝑞)] → 𝑟

Definición de las proposiciones simples

p: Alejandro estudia en la UNAD

q: Estudia en la universidad más grande de Colombia

r: Será un gran profesional

Lenguaje natural de la expresión

Si Alejandro estudia en la UNAD, él estudia en la universidad más grande de Colombia.

Alejandro no estudia en la universidad más grande de Colombia y si él fuera un gran profesional

entonces él estudia en la universidad más grande de Colombia. Dado lo anterior, el sí será un

gran profesional.
Tabla de verdad con el simulador TRUTH 6

Imagen 3. Imagen que contiene captura de pantalla de la tabla de verdad generada con TRUTH
Tabla de verdad realizada manualmente 7

p q r ¬q p→q (p→q)Λ(¬q) r→q (p→q)Λ(¬q)Λ(r→q) [(p→q)Λ(¬q)Λ(r→q)]→r

V V V F V F V F V

V V F F V F V F V

V F V V F F F F V

V F F V F F V F V

F V V F V F V F V

F V F F V F V F V

F F V V V V F F V

F F F V V V V V F

Tabla 2. Tabla de verdad hecha paso a paso

Definición del tipo de la proposición compuesta 8

Para esta proposición compuesta [(p→q) Λ (¬q) Λ (r→q)] → r se dice que es una

Contingencia ya que en al menos una interpretación en su tabla de verdad es falsa. Aunque en

casi todas las interpretaciones de la expresión se evalúan como verdaderas, solo una de ellas es

falsa. Eso implica que la fórmula es satisfacible (contingencia) pero no válida (tautología)

(Cardona Torres, Hernandez Rodríguez, & Jaramillo Valbuena, 2010).

 Conclusiones 9

Con la realización de estos ejercicios se estimula el aprendizaje sobre la lógica

proposicional y las tablas de verdad. Es interesante como la lógica matemática influye en la

abstracción de unas proposiciones compuestas a partir de incluso nuestro lenguaje natural y

traducir esa lógica en un lenguaje simbólico.

 Lista de referencias 10

Cardona Torres, S. A., Hernandez Rodríguez, L. A., & Jaramillo Valbuena, S. (2010). Lógica

Matemática para Ingeniería de Sistemas y Computación. Armenia: Ediciones Elizcom.