Unidad 1 – Tarea 1

Métodos para probar la validez de argumentos

Joan Santiago Bareño Guio

Pensamiento Lógico y Matemático 200611

Grupo 2866

Director-Tutor

Jadith Rovira

Universidad Nacional Abierta y a Distancia - UNAD

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

2022

1
Ejercicio 2. Identificación de las reglas de la inferencia lógica

B. Expresión simbólica.

Ley de inferencia: Modus Tollendo Ponens

(MTP)

r. él come hamburguesa

s. va al gimnasio

lenguaje natural:

él come hamburguesa o va al gimnasio, él

no come hamburguesa, conclusion va al

gimnasio

Ley de inferencia: Silogismo Hipotético

(SH)

p. Santiago juega póker

q. Joan juega mañana futbol

r. los dos son primos lejanos

lenguaje natural:

si Santiago juega póker entonces joan

juega mañana futbol, si joan juega mañana

futbol entonces los dos son primos lejanos

en conclusion si Santiago juega póker

entonces los dos son primos lejanos

2
Ley de inferencia: Adjunción (A)

r. Niddia le gusta el yogurt

s. Saray come salchipapas

lenguaje natural:

Niddia le gusta el yogurt, Saray come

salchipapas. En conclusión, Niddia le gusta

el yogurt y Saray come salchipapas