Lógica Matemática
Tarea 1 Métodos para probar la validez de argumentos
Grupo: 90004_333
Tutor:
Luis Enrique Leiva
Universidad Nacional Abierta Y A Distancia – Unad
Escuela De Ciencias Agrícolas, Pecuarias Y del Medio Ambiente (Ecapma)
Zootecnia
Cead Florencia
2020
INTRODUCCIÓN
En el presente trabajo aprendimos a construir las tablas de verdad con cada uno de los pasos que
tenemos que tener en cuenta y las reglas de inferencia para poder comprobar la validez de los
argumentos, así mismo aprendimos a leer cada uno de los símbolos ya sea por su nombre o su
significado. Teniendo en cuenta cada una de las tablas de verdad de los operadores lógicos.
DESARROLLO
EJERCICIO 1: PROPOSICIONES Y TABLAS DE VERDAD:
o Proposiciones simples:
p: Diego es deportista de alto rendimiento
q: Diego debe entrenar todos los días
r: Diego llena una vez por semana su tabla de rendimiento físico
o Lenguaje simbólico:
(𝑝 → 𝑞) ∨ (~𝑟)
o Lenguaje Natural:
Si Diego es deportista de alto rendimiento, entonces, Diego debe entrenar todos los días o Diego
no llena una vez por semana su tabla de rendimiento físico.
o Tabla manual :
p q r (P q) (p q) v ( r)
V V F V V
V V V V V
V F F F F
V F V F V
F V F V V
F V V V V
F F F V V
F F V V V
o Tabla de verdad Simulador UNAD: tabla de contingencia
p q r (p→q)∨(~r)
v v v V
v v f V
v f v F
v f f V
f v v V
f v f V
f f v V
f f f V
Enlace del video: [Link]
Ejercicio 2: Identificación de las reglas de la inferencia lógica:
1) Expresión simbólica:
r s
s t
r t
o Ley de inferencia de la expresión: Silogismo hipotético (SH)
o Proposiciones simples:
r: No madrugo
s: No me alcanza el tiempo para hacer de comer
t: Aguantaría hambre todo el día
o Lenguaje Natural:
Si no madrugo, entonces no me alcanza el tiempo para hacer de comer, Si no me alcanza
el tiempo para hacer de comer, entonces aguantaría hambre todo el día.
Por lo tanto, si no madrugo, entonces aguantaría hambre todo el día.
2) Expresión simbólica:
pVq
¬p
q
o Ley de inferencia de la expresión: Modus Tollendo Ponens (TP)
o Proposiciones simples:
p: Juan está en un partido de futbol
q: Juan está en el estadio
o Lenguaje Natural:
Si Juan está en un partido de futbol, o, Juan está en el estadio. Juan no está en un partido
de futbol. Por lo tanto, Juan está en el estadio.
3) Expresión simbólica:
p∧q
o Ley de inferencia de la expresión: Adjunción (A).
o Proposiciones simples:
p: Laura está cantando
q: María está bailando
o Lenguaje Natural:
Laura está cantando. María está bailando.
Por lo tanto. Laura está cantando y maría está bailando
Ejercicio 3: Aplicación de las reglas de la inferencia lógica
o Argumento: Si como saludable entonces, disminuyo el riesgo de padecer enfermedades
cardiovasculares. Si disminuyo el riesgo de padecer enfermedades cardiovasculares
entonces, tendré una larga vida.
a) Conclusión: Si como saludable entonces, tendré una larga vida
b) Ley de inferencia aplicada: Silogismo hipotético (SH)
c) Lenguaje simbólico:
P q
q r
p r
Ejercicio 4: Problemas de aplicación
B.
o Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ 𝑟 ∧ ¬𝑞)] → 𝑞
o Premisas:
P1:𝑝 → 𝑞
P2:𝑝 ∨ 𝑟
P3: ¬ 𝑟 ∧ ¬𝑞
o Conclusión: 𝑞
o Proposiciones simples:
p: Pablo es estudiante de zootecnia en la UNAD
q: Pablo asiste puntualmente a las clases
r: Pablo recibe puntos adicionales por participar en las clases.
o Lenguaje Natural:
Si Pablo es estudiante de zootecnia en la UNAD entonces, Pablo asiste puntualmente a las clases.
Aunque, Pablo es estudiante de zootecnia en la UNAD o Pablo recibe puntos adicionales por
participar en las clases. Aunque, Pablo no recibe puntos adicionales por participar en las clases y
Pablo no asiste puntualmente a las clases. Entonces, Pablo asiste puntualmente a las clases.
o Tabla de verdad manual:
p q r ¬𝑟 ¬𝑞 (𝑝 → 𝑞) (𝑝 ∨ 𝑟) (¬ 𝑟 ∧ ¬𝑞) (𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) (𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ 𝑟 ∧¬𝑞) [(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ 𝑟 ∧ ¬𝑞)] → 𝑞
V V V F F V V F V F V
V V F V F V V F V F V
V F V F V F V F F F V
V F F V V F V V F F V
F V V F F V V F V F V
F V F V F V F F F F V
F F V F V V V F V F V
F F F V V V F V F F V
o Tabla de verdad Simulador UNAD:
p q r ((p→q)∧(p∨r)∧(~r∧~q))→q
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V
o Demostración de la validez del argumento mediante las Leyes de Inferencia:
P1: 𝑝 → 𝑞
P2: 𝑝 ∨ 𝑟
P3: ¬ 𝑟 ∧ ¬𝑞
P4: ¬ 𝑟 por simplicidad en p3
P5: p por MTP P2, P4
Conclusión: q por MPP en P1, P5
CONCLUCIÓN
Logramos terminar el ejercicio con cada paso y aprobando cada uno de los ejercicios,
aprendiendo a leer cada expresión simbólica en su lenguaje natural y sacar cada proposición
simple que podamos encontrar en cualquier ejercicio. También logramos realizar con éxito la
tabla manual de la conjunción.
BIBLIOGRAFIA
[Link]
[Link]
[Link]
[Link]
[Link]
[Link]
