Ejercicio 2 Identificación de las reglas de la inferencia lógica.
Expresión simbólica ejercicio E
1. 2. 3.
s→ ¬ t p→s s →r
t s→r s
_______ ______ _______
¬s p→r r
Ley de inferencia de la expresión ejercicio E
1. Modus Tollendo Tollens (MTT)
2. Silogismo Hipotético (SH)
3. Modus Ponendo Ponens (MPP)
Proposiciones simples ejercicio E
1.
s: Sandra Johana es tutora del curso PLM
t: No es tutora de Pensamiento Admón.
2.
p: No es tutora de Pensamiento Admón.
s: Sandra Johana es tutora del curso PLM
r: La UNAD
3.
s: Sandra Johana es tutora del curso PLM
r: No es tutora de Pensamiento Admón.
Lenguaje Natural ejercicio E
1.
Sandra Johana es tutora del curso PLM
Sandra Johana no es tutora del curso PLM.
2.
Si Sandra Johana no es tutora de Pensamiento Admón entonces Sandra
Johana es tutora del curso PLM en la UNAD
3.
Sandra Johana es tutora del curso PLM. Por lo tanto, No es tutora de
Pensamiento Admón.