1

Momento Intermedio

Sustentación Curso

Tarea 4: Sustentación Unidades 1, 2 o 3

Farly Danissa Buitrago Cuellar

Universidad Nacional Abierta y a Distancia (UNAD)

Ciencias Sociales Artes y Humanidades
Psicología
Florencia – Caquetá

2019

*Fabio Ossa
 2

Ejercicio 2: Métodos para probar la validez de un argumento

C. Expresión simbólica:
{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)

Premisas:
P1: p→(q →r )¿
P2: rΛp
P3: sVq
P4: ¬q

Conclusión: sΛ(q→r)

Proposiciones simples:
p: utilizo medios informáticos.

q: estudio en la UNAD.

r: soy una estudiante comprensiva .

s: Realizo mis tareas.

Razonamiento en lenguaje natural:

Si utilizo medios informáticos entonces sí estudio en la UNAD, entonces soy una estudiante
comprensiva, si no soy una estudiante comprensiva no utilizo medios informáticos. Sino realizo
mis tareas no estudio en la UNAD, entonces realizo mis tareas sino, no estudio en la UNAD,
entonces soy una estudiante compresiva.
 3

Tabla de verdad manual:

((((P→(Q
(((P→(Q→
→R)) (((((P→(Q→R))
((P→(Q→ R))
Ʌ Ʌ
(Q→ (P→(Q (Rʌ R)) (S∨ Ʌ (¬
PQ R S (RɅP)) (RɅP))
R) →R)) P) ʌ Q) (RɅP)) Q)
Ʌ Ʌ
(RɅP)) ʌ(
(S∨Q))ʌ(¬ (S∨Q))Ʌ(¬Q))→S)
S∨Q))
Q))
V V V V V V V V V V F F V
V V V F V V V V V V F F V
V V F V F F F F V F F F V
V V F F F F F F V F F F V
V F V V V V V V V V V V V
V F V F V V V V F F T F V
V F F V V V F F V F V F V
V F F F V V F F F F V F V
F V V V V V F F V F F F V
F V V F V V F F V F F F V
F V F V F V F F V F F F V
F V F F F V F F V F F F V
F F V V V V F F V F V F V
F F V F V V F F F F V F V
F F F V V V F F V F V F V
F F F F V V F F F F V F V

Resultado de la tabla de verdad: TAUTOLOGIA

Tabla de verdad con el simulador Lógica UNAD:

4
 5

C. Expresión simbólica:
{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)

Premisas:
P1: p→(q →r )¿
P2: rΛp
P3: sVq
P4: ¬q

Conclusión: sΛ(q→r)

Bibliografía
 6

Cardona Torres , S. (2010). Lógica matemática para ingeniería de sistemas y computación.

Ediciones Elizcom. doi:978958993259