Ejercicio 3

Presenta

Yerli Yadira González López

Código: 200611_360

Tutor

Nevardo Alonso Ayala Rojas

Universidad nacional abierta y a distancia

Tecnología en imágenes diagnosticas

Marzo 30 2020
Ejercicio 3: Problemas de aplicación:

Descripción del ejercicio:

A: Expresión simbólica: [(𝑝 → 𝑞) ∧ (p ∨ 𝑠) ∧ (¬s ∧ ¬𝑞)] → 𝑞

Premisas:

P1: (𝑝 → 𝑞)
P2: (p ∨ 𝑠)
P3: (¬s ∧ ¬𝑞)

Conclusión: q

• 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: Quiero ganar dinero rápido.

Q: Quiero ir al casino.

S: Quiero perder el dinero rápido.

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante.

Sí quiero ganar dinero rápido entonces quiero ir al casino. Pero quiero ganar dinero

rápido o quiero perder el dinero rápido. Aunque no quiero perder el dinero rápido incluso

¿nunca quiero ir al casino?, entonces quiero ir al casino.

  Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico.

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
p q s p→q pvs (p→q)ᴧ(pvs) ¬s ¬q (¬s∧¬q) (p →q)ᴧ(p v s)ᴧ(¬s∧¬q) [(p→q)ᴧ(p v s)ᴧ(¬s∧¬q)] →q

v v v v v v f f f f v

v v f v v v v f f f v

v f v f v f f v f f v

v f f f v f v v v f v

f v v v v v f f f f v

f v f v f f v f f f v

f f v v v v f v f f v

f f f v f f v v v f v
• Demostración de la validez del argumento mediante las leyes de la inferencia lógica
Según la tabla de verdad el argumento es una tautología, entonces es válido.

Teniendo en cuenta las proposiciones simples:

P: Quiero ganar dinero rápido.

Q: Quiero ir al casino.

S: Quiero perder el dinero rápido.

Y las premisas:

 P1: ( p →q )
 P2:( p ∨s )
 P3: ( ¬ s ∧¬ q )
Conclusión: q

Se procede a demostrar la validez del argumento:

1. P →q Premisa
2. p∨s Premisa
3. ¬ s ∧¬ q Premisa
4. ¬s Simplificación 3
5. p M.T.P. 2, 4
6. q M.P.P 1, 5