inciso(D) ejerciocio 4

Vista previa del material en texto

Unidad 1: Fundamentos de Lógica
Tarea 1: Métodos para probar la validez de argumentos 
Punto D
Presentado por:
Diego Armando Jiménez Buelvas
Código: 1066729863
Grupo: 200611_70
Tutor:
Hugo Martínez Sánchez
Universidad Nacional Abierta y a Distancia 
Escuela de ciencia básicas tecnología e ingeniería
Ingeniería de alimentos
Montelibano - Córdoba 
2021
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:
D. expresión simbólica.
{[(p ∧ r) → (p ∧ s)] ∧ (p ∧ r)}→s 
Premisas: 
P1: (p ∧ r) → (p ∧ s) 
P2: (p ∧ r) 
Conclusión: s 
· Definir las proposiciones simples 
p: Diego estudia Ingeniería de alimentos.
r: Diego cursa primer semestre en la UNAD.
S: la UNAD es una universidad virtual.
	
· Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural 
 Diego estudia Ingeniería de alimentos y Diego cursa primer semestre en la UNAD entonces Diego estudia Ingeniería de alimentos y la UNAD es una universidad virtual, Diego estudia Ingeniería de alimentos y Diego cursa primer semestre en la UNAD por lo tanto la UNAD es una universidad virtual.
· Generar una tabla de verdad manualmente a partir del lenguaje simbólico 
	p
	R
	s
	(p^r)
	(p^s)
	[(p^r)→(p^s)]
	{[(p^r)→(p^s)] ^ (p^r)}
	{[(p^r)→(p^s)] ^ (p^r)} →s
	F
	F
	F
	F
	F
	V
	F
	V
	F
	F
	V
	F
	F
	V
	F
	V
	F
	V
	F
	F
	F
	V
	F
	V
	F
	V
	V
	F
	F
	V
	F
	V
	V
	F
	F
	F
	F
	V
	F
	V
	V
	F
	V
	F
	V
	V
	F
	V
	V
	V
	F
	V
	F
	F
	F
	V
	V
	V
	V
	V
	V
	V
	V
	V
Basado en las leyes de inferencia lógica se puede afirmar que la tabla anterior es una Tautología puesto que todas son Verdaderos (V)
Generar la tabla de verdad a través del simulador Lógica UNAD 
· Demostración de la validez del argumento mediante las leyes de la inferencia lógica 
P1: (p ∧ r) → (p ∧ s) 
P2: (p ∧ r) 
P3: r……. Silogismo disyuntivo entre (SD) P2 Y P4
P4: s……. Simplificación (S) entre P2 Y P3
Referencias bibliográficas:
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). México, D.F, Larousse - Grupo Editorial Patria.