I

Ejercicio 3: Problemas de Aplicación

Javier Enrique Patiño Mora

Curso 200611 – Pensamiento Lógico y Matemático

Grupo 200611_123

Tutor

Fabián Adames Papa

Universidad Nacional abierta y a distancia-UNAD

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

Ingeniería Multimedia

Bogotá D.C.

2020
 2

1. Ejercicio

Literal D. [𝑝∧(𝑝⟶𝑞)∧(𝑞→𝑟)]→𝑟

2. Proposiciones simples de contexto académico

p: Javier es estudiante

q: Estudia en la UNAD

r: Estudia a distancia

Reemplazar las variables para llevarlas a lenguaje natural

Javier es estudiante pero; si Javier es estudiante entonces estudia en la UNAD, sin embargo ,

si estudia en la UNAD implica que estudia a distancia; por lo tanto estudia a distancia.

3. Tabla con el simulador Lógica UNAD

 3

4. Tabla de verdad manual y resultado

p q r [p ˄ (p → q) ˄ (q → r) ] → r
V V V V V V V V V V V V V V

V V F V F V V V F V F F V F

V F V V F V F F F F V V V V

V F F V F V F F F F V F V F

F V V F F F V V V V V V V V

F V F F F F V V F V F F V F

F F V F F F V F V F V V V V

F F F F F F V F V F V F V F

El resultado de la tabla de verdad: Tautología

 4

5. Referencia

Academia Internet. (01 de Agosto de 2016). Lógica, enunciados, formalizar, conectores, leyes
logicas, circuitos logicos[archivo video]. Recuperado el 30 de 04 de 2020, de
https://www.youtube.com/watch?v=OGiap9yRy-M&t=3692s

Olaya Benavides, J. A. (02 de septiembre de 2019). Proposiciones con cuantificadores [Archivo de

video]. Recuperado el 30 de 04 de 2020, de https://www.youtube.com/watch?
v=4wXSozu4FEs&t=5s