inciso (D) EJERCICIO 2

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
Ejercicio 2: identificación de las reglas de inferencia lógica.
 A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de inferencia.
 Nombrar la ley de inferencia que representa cada expresión simbólica.
· Expresión simbólica. 
 p v ~ q
 q
 p
Inferencia de expresión simbólica: Tollendo ponens (TP)
· Expresión simbólica.
p q
 q r
p r
Inferencia de expresión simbólica: Silogismo hipotético (SH)
· Expresión simbólica.
~p ∧ ~q
 ~q
Inferencia de expresión simbólica: Simplicación (S)
· Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción basada en un contexto, el que se solicita es un contexto académico (puede usar las mismas proposiciones simples en cada una de las 3 expresiones simbólicas seleccionadas)
p v ~ q
 q
 p
p: en la mañana llovió en mi ciudad 
q: El día está nublado
En la mañana llovió en mi ciudad o el día no está nublado. El día está nublado. Por lo tanto, en la mañana llovió en mi ciudad.
p q
 q r
p r
p: no hago las actividades.
q: pierdo el semestre.
r: podría renunciar a estudiar.
Si no hago las actividades entonces pierdo es semestre, si pierdo el semestre entonces podría renunciar a estudiar.
~p ∧ ~q
 ~q
p: está muy fuerte la temperatura 
q: va a llover por la noche
no está muy fuerte temperatura o no va llover por la noche por lo tanto no va a llover por la noche.
Referencias bibliográficas: 
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 34-37). México, D.F, Larousse - Grupo Editorial Patria.
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba, AR: El Cid Editor. (pp. 40-49).