Ejercicio 2

Manuela Alejandra Avella Cabrera

Cedula 1057601729
Grupo
90004_909

Tutor
Edgar Mauricio Alba

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Básicas, Tecnología e ingeniería
Ingeniería de Sistemas
Lógica Matemática
2019
Desarrollo da la actividad

b. Expresión simbólica: [(𝑝→𝑞)∧(𝑞→𝑟)∧(𝑝∧𝑠)]→(𝑟)

Premisas:
P1: 𝑝→𝑞
P2: 𝑞→𝑟
P3: 𝑝∧𝑠
Conclusión: 𝒓

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo
una descripción basada en un contexto, el que se solicita es un contexto
académico, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública
 Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante, por lo que de encontrar proposiciones iguales entre
estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.

 Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica
Solución
Definición de las proposiciones simple

p= Andrea estudia filosofía

q= Andrea estudia en la universidad
s= La universidad es publica
r= Andrea tiene muchos compañeros

Reemplazo de las variables expresadas simbólicamente al lenguaje

natural.

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

Si Andrea estudia filosofía Entonces Andrea estudia en la universidad Y

Andrea estudia en la universidad Entonces Andrea tiene muchos compañeros
Y Andrea estudia filosofía Y la universidad es publica Entonces Andrea tiene
muchos compañeros.
Tabla de verdad en el simulador
Tabla de verdad manualmente

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

p q s r (pq) (pr) (p˄s) [(pq)˄(qr)˄(p˄s) [(pq)˄(qr)˄(p˄s)

V V V V V V V V V
V V V F V F V F V
V V F V V V F F V
V V F F V F F F V
V F V V F V F F V
V F V F F F V F V
V F F V F V F F V
V F F F F F F F V
F V V V V V F F V
F V V F V V F F V
F V F V V V F F V
F V F F V V F F V
F F V V V V F F V
F F V F V V F F V
F F F V V V F F V
F F F F V V F F V
Demostración de la validez del argumento mediante las leyes de
inferencia.

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

Premisas:
P1: 𝑝→𝑞
P2: 𝑞→𝑟
P3: 𝑝∧𝑠
Conclusión: 𝒓

P4= P simplificación a P3
P5= S simplificación a P3
P6= q modus ponendo ponem P1 – P4
P7= r modus ponendo ponem P2 – P6 (respuesta)

Es valida porque la conclusión y la premisa 7 son iguales. La conclusión da r.