Métodos para Probar la Validez de un Argumento

Presentado

Por:

Ana Lucia Llanos Ibáñez

Código: 1007502602

Presentado a:

Tutora

Mireya Gómez Argote

Grupo: 200611_1235

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Básicas, Tecnologías e Ingenierías – ECBTI

Pensamiento Lógico y Matemáticos

Pitalito, noviembre de 2019

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

Premisas:
P1: 𝑝 → (𝑞 → 𝑟)]
P2: rΛp
P3: sVq
P4: ¬q

Conclusión: sΛ(q→r)

Desarrollo:

Proposiciones simples:

p=Laura estudia ingles

q=Entrega las tareas a tiempo
r=Ella estudia los domingos
s=Se fue para la universidad

Razonamiento en lenguaje natural:

{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)

Laura estudia ingles entonces entrega las tareas a tiempo

entonces ella estudia los domingos y ella estudia los domingos
además Laura estudia inglés y se fue para la universidad o
entrega las tareas a tiempo y no entrega las tareas a tiempo
entonces se fue para la universidad además entrega las tareas a
tiempo entonces ella estudia los domingos.
 Generar la tabla de verdad con el simulador Lógica UNAD
  Generar la tabla de verdad manualmente:

{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)

p q r s ¬q q→r p rΛ [p→(q sVq p→( p→( q→r sΛ( {[p→

→( p →r)]Λ q→r q→r q→r (q→
q (rΛp) )]Λ( )]Λ( )
→r rΛp rΛp r)]Λ
) )Λ(s )Λ(s (rΛ
Vq) Vq)
p)Λ
Λ¬
q (sV
q)Λ
¬q}
→s
Λ(q
→r)

V V V V F V V V V V V F V V V
V V V F F V V V V V V F V F V
V V F V F F F F F V F F F F V
V V F F F F F F F V F F F F V
V F V V V V V V V V V V V V V
V F V F V V V V V F F F V F V
V F F V V V V F F V F F V V V
V F F F V V V F F F F F V F V
F V V V F V V F F V F F V V V
F V V F F V V F F V F F V F V
F V F V F F V F F V F F F F V
F V F F F F V F F V F F F F V
F F V V V V V F F V F F V V V
F F V F V V V F F F F F V F V
F F F V V V V F F V F F V V V
F F F F V V V F F F F F V F V

TAUTOLOGICA
 leyes de inferencia:
Premisas:
P1: 𝑝 → (𝑞 → 𝑟)]
P2: rΛp
P3: sVq
P4: ¬q

Conclusión: sΛ(q→r)

P4: ¬S aplicando MTT en p3 y p4

P5: p aplicando S en P2

P6: 𝑞 → 𝑟 aplicando MPP en p1 y p5