Métodos para probar la validez de argumentos

Ejercicio 2- Unidad 1

Ana Milena Ruano Chamorro.

Grupo: 90004_336

Tutor:
Luis Enrique Leiva

Universidad Nacional Abierta y a Distancia UNAD.

CEAD Valle del Guamuez.
Lógica Matemática
Septiembre 2020
Ejercicio 2: Identificación de las reglas de la inferencia lógica
Ejercicio C.

Expresión Ley de Proposiciones simples Lenguaje Natural

simbólica. Inferencia:

Premisa 1: ab Modus ponens a Santiago estudio toda Si Santiago estudio toda la
Premisa 2: a la semana semana entonces Santiago
Conclusión: b b Santiago pasa el pasa el examen. Santiago
examen estudio toda la semana por lo
tanto, Santiago paso el
examen

Premisa 1: rs Modus r Ana canta Si Ana canta entonces Ana

Premisa 2: ¬s Tollens s Ana gana el concurso gana el concurso. Ana no
Conclusión: ¬r canto por lo tanto, Ana no
gano el concurso

Premisa 1: p ∧ q Simplificación P Juan trabaja todo el Juan trabaja mucho tiempo en

Conclusión: p día en la fabrica la fábrica y está muy cansado
q Está muy cansado por lo tanto, Juan trabaja
mucho tiempo en la fábrica.