LOGÍCA MATEMATICAS

EJERCICIO: 4 UNIDAD 1

SANDRA MILENA RAMOS DE ANGEL

TUTOR: ELKIN BARREIRO

DIRECTOR: LOGÍCA MATEMATICAS

UNAD
CEDE VALLEDUPAR CESAR
ANDMINISTRACIÓN DE EMPRESAS
LA JAGUA DE IBIRICO CESAR
2020
Ejercicio 4: Problemas de aplicación Para el desarrollo de este ejercicio, es
necesario que revise en el Entorno de Aprendizaje (Unidad 1 - Contenidos y
referentes bibliográficos), las siguientes referencias: • Cardona, T. S. A. (2010).
Lógica matemática para ingeniería de sistemas y computación. (pp. 78 - 99).
Ediciones Elizcom, Madrid.
Una vez realizada la lectura, desarrolle el ejercicio propuesto.
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 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
p= Génesis estudia Administración de empresas
q= Costos y presupuestos es una materia dictada en administración de empresas
r= Leslie estudia administración de empresas

➢ 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.
(p→q)= Génesis estudia Administración de empresas entonces Costos y
presupuestos es una materia dictada en administración de empresas
(q→r)= Costos y presupuestos es una materia dictada en administración de
empresas entonces Leslie estudia administración de empresas

(p→q)ꓥ(q→r)= Génesis estudia Administración de empresas entonces Costos y

presupuestos es una materia dictada en administración de empresas
 (p ꓥ r)= Génesis estudia Administración de empresas y Leslie estudia
administración de empresas

[(p→q)ꓥ(q→r)ꓥ(p ꓥ r)]= Génesis estudia Administración de empresas entonces

Costos y presupuestos es una materia dictada en administración de empresas y
Génesis estudia Administración de empresas y Leslie estudia administración de
empresas
(q ꓥ r)= Costos y presupuestos es una materia dictada en administración de
empresas y Leslie estudia administración de empresas
[(p→q)ꓥ(q→r)ꓥ(p ꓥ r)]→(q ꓥ r)= Génesis estudia Administración de empresas
entonces Costos y presupuestos es una materia dictada en administración de
empresas y Génesis estudia Administración de empresas y Leslie estudia
administración de empresas y Costos y presupuestos es una materia dictada en
administración de empresas y Leslie estudia administración de empresas

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

p q r p→q q→r (p→q)ꓥ( q→r) (p ꓥ [(p→q)ꓥ( q→r)ꓥ(p ꓥ r (q ꓥ [(p→q)ꓥ( q→r)ꓥ(p ꓥ r)]

r) )] r) →(q ꓥ r)
V V V V V V V V V V
V V F V F F F F F V
V F V F V F V F F V
V F F F V F F F F V
F V V V V V F F V V
F V F V F F F F F V
F F V V V V F F F V
F F F V V V F F F V

El resultado es una Tautología

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso
para uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica
UNAD), ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y
rúbrica de evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez de
argumentos.
[(p→q)∧(q→r)∧(p∧r)]→(q∧r)

➢ Demostración de la validez del argumento mediante las leyes de la inferencia

lógica
P1: p→q
P2: q→r
P3: (p∧r)
P4: q∧r Simplificación
P5: Simplificación Disyuntiva