Unidad 1 – Tarea 1

Métodos para probar la validez de argumentos

Joan Santiago Bareño Guio

Pensamiento Lógico y Matemático 200611

Director-Tutor

Jadith Rovira

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

2022

1
Ejercicio 4. Problemas de aplicación

B. expresión simbólica: {(𝑟 ⟶ 𝑠) ∧ 𝑟)} ⟶ (𝑠 ∨ 𝑡)

Premisas:

P1: (r s)

P2: r

Conclusión: (s V t)

Proposiciones simples:

r. Yo estudio ingeniería industrial

s. Pedro trabaja en una petrolera

t. Marisol es una abogada exitosa

lenguaje natural:

si Yo estudio ingeniería industrial entonces Pedro trabaja en una petrolera. Yo estudio

ingeniería industrial. Por lo tanto, Pedro trabaja en una petrolera o Marisol es una abogada

exitosa

2
 Tabla de verdad

r s t (𝑟 ⟶ 𝑠) (𝑠 ∨ 𝑡) (𝑟 ⟶ 𝑠) ⟶ (𝑠 ∨ 𝑡)

V V V V V V

V V F V V V

V F V F V V

V F F F F V

F V V V V V

F V F V V V

F F V V V V

f f f V F F

Tabla de verdad con simulador

3
Demostración de la validez del argumento mediante las leyes de inferencia:

Premisas:

P1: (r s)

P2: r

Conclusión: (s V t)

P3: modus ponendo ponens (PP) P1

P4: modus ponendo ponens (PP) P2

P5: ley de la adición (LA) P3, P4