Problemas de aplicación

Jenny Patricia Aguirre Segura

Grupo: 90004_25

Junio 1 de 2020

UNAD Universidad Nacional Abierta y a Distancia

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

Lógica Matemática
 1

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento

para el desarrollo del ejercicio 4:

a. Expresión simbólica: [( p → q)∧(q → r )∧( p∧ s )]→ r

Premisas:
P1: p →q
P2:q → r
P3: p ∧ s

Conclusión: r

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

 Definir las proposiciones simples:

p: Jenny se matriculo en la UNAD

q: Jenny estudia en la UNAD

r: Jenny estudia Administración de empresas

s:Jenny tiene un promedio alto en la UNAD

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

 [( p → q)∧(q → r )∧( p∧ s )]→ r
 P1: p →q
 P2:q → r
 P3: p ∧ s
 2

Si Jenny se matriculo en la UNAD, entonces Jenny estudia en la UNAD. Y estudia en la UNAD,

entonces no estudia Administración de empresas Y Jenny se matriculo en la UNAD y tiene un
promedio alto en la UNAD. Entonces Jenny No estudia Administración de empresas.

 P1: Si Jenny se matriculo en la UNAD, entonces Jenny estudia en la UNAD

 P2: Si Jenny estudia en la UNAD, entonces Jenny no estudia Administración de empresas
 P3: Jenny se matriculo en la UNAD y Jenny tiene un promedio alto en la UNAD

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
 3

p q r s ~p ~q ~r ~s
V V V V F F F F V F V F F V
V V V F F F F V V F F F F V
V V F V F F V F V V V V V V
V V F F F F V V V V F V F V
V F V V F V F F F V V F F V
V F V F F V F V F V F F F V
V F F V F V V F F V V F F V
V F F F F V V V F V F F F V
F V V V V F F F V F F F F V
F V V F V F F V V F F F F V
F V F V V F V F V V F V F V
F V F F V F V V V V F V F V
F F V V V V F F V V F V F V
F F V F V V F V V V F V F V
F F F V V V V F V V F V F V
F F F F V V V V V V F V F V

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

 P1: p →q
 P2:q → r
 P3: p ∧ s

Ley del Silogismo Hipotético:

Premisa 1: p →q
Premisa 2: q →r
Conclusión: p →r