-Tarea 3

Gisselle Tatiana Perdomo Celeita.

Cc.1070988336
Septiembre 2019.

Universidad Nacional Abierta y a Distancia

Cundinamarca.
Lógica matemática
a. Esió

p q r s s pvq p→r q→ [(p∨q)∧(p→r [(p∨q)∧(p→r)∧(q→s) [(p∨q)∧(p→r)∧(q→s)∧(~s) [(p∨q)∧(p→r)∧(q→s)∧(~s)]⟶p b.

r s ) c.
v v v v f f v V f f f v d.
v v v f f v v F f f f v

v v f v f f v V v v f v

v v f f f v f V v f f v

v f v v f f f V v v f v

v f v f f v f F v v v v

v f f v f f f V v v f v

v f f f f v v V v f f v

f v v v v f v V f f f v

f v v f v v v F f f f v

f v f v v f v V v v f v

f v f f v v v V v f f v

f f v v v f v V f f f v

f f v f v v v F f f f v

f f f v v v v f f f f v

f f f f v v v v f f f v
: [( p ∨q)∧ ( p →r ) ∧ ( q → s ) ∧ ( s ) ]⟶ p

Premisas:
P1: p ∨q
P2: p →r
P3: q → s
P4: s

Conclusión: p

P= juan vende zapatos

Q=vende medias

R= son de buena calidad

S= las medias son de cuero

Juan vende zapatos o vende medias, juan vende zapatos entonces son de buena calidad, vende medias
entonces las medias son de cuero ,las medias no son de cuero. juan vende zapatos.
Ley de inferencia

Premisas:

P1: p∨q

P2: p→r

P3: q→s

P4: ~s

P5= ~q (3)(4) MTT

P6=P (1)(5) MTP CONCLUSION

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. :
 p: carlos es zapatero
 q: utiliza cuero
 r :son de buena calidad
 s:vende arto
 Carlos es zapatero entonces utiliza cuero y utiliza cuero entonces son de buena calidad y son de buena calidad
entonces vende mucho entonces Carlos es zapatero entonces vende mucho.
Conclusión: carlos es zapatero y vende mucho
Ley de inferencia aplicada: modos ponendo ponens (MPP)
Lenguaje simbólico: p→s
p

s
 CONCLUSIONES

• Las premisas pueden definir el valor de verdad del argumentos

• Si realizamos estos ejercicios correctamente podemos aplicarlos a nuestras vidas cotidianas y así poder
tomar decisiones importantes y lo mejor acertadamente
• Aprendimos a identificar las leyes de inferencias y aplicarlas ya sea un lenguaje natural o simbólico
• Aprendimos los conceptos básicos del razonamiento lógico
 Bibliografías

• Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse - Grupo Editorial

Patria. (pp. 29-38)

• Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp. 163-166)

• 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)