MIGUEL ENRRIQUE OVIEDO ANAYA GRUPO: 200611A_951

EJERCICIO N°4

Conclusión: r
Preposiciones
P: Carmen estudia enfermería en la UNAD
Q: Carmen aprobó anatomía
R: carmen esta en tercer semestre
Lenguaje natural
Carmen estudia enfermería en la UNAD. Carmen estudia enfermería en
la UNAD entonces Carmen aprobó anatomía. Carmen estudia enfermería
en la UNAD entonces carmen está en tercer semestre.
Tabla de verdad- Manual
 MIGUEL ENRRIQUE OVIEDO ANAYA GRUPO: 200611A_951

Tabla de verdad-Simulador UNAD

Demostración de validez del argumento mediante las leyes de

inferencia

Ley de inferencia: silogismo hipotético

P1: Carmen estudia enfermería en la UNAD
P2: p q Carmen estudia enfermería en la UNAD Entonces Carmen
aprobó anatomía
R: Carmen estudia enfermería en la UNAD Entonces carmen está en
tercer semestre
Conclusión: carmen estudia enfermería en la UNAD

p2: p q (p entonces es cierto que q)

ley modus Tollendo Tollens
Carmen estudia enfermería en la UNAD Entonces Carmen aprobó
anatomía
p3: p r ( cierto que q entonces p)
 MIGUEL ENRRIQUE OVIEDO ANAYA GRUPO: 200611A_951

ley modus Tollendo Tollens

Carmen estudia enfermería en la UNAD Entonces carmen está en tercer
semestre