Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejemplos
1. todo nmero divisible por 5 lo es tambin por 3 y 2
2. la suma de dos enteros impares es otro entero impar
3. todos los nmeros primos son impares
Contraejemplos
1. el 25 es divisible por 5, pero no por 3 ni 2
2. al sumar 5+7= 12, y no es impar
3. el 2 es un numero primo y no es impar
pq
Premisa 1:
Si Jaime posee un promedio ms alto que Pablo, entonces Martha posee un
promedio ms bajo que Aura.
Premisa 2:
Martha no tiene un nivel acadmico ms bajo que Aura.
Premisa 3
Si Jaime y Lina tienen el mismo promedio, entonces Jaime est con un
promedio ms alto que Pablo.
p.1: p - q
p.2: q
p.3: r p
C: -r
---------------------------
P.4: -p (MTT p.1, p.2)
p.5: -r (MTT p.3, p,4)
A travs del uso de la ley de inferencia Modus Tollendo Tollens (MTT), la cual
dice que la negacin del consecuente dar como resultado la negacin del
antecedente, llegamos a la conclusin (-r). Por lo que se concluye que el
razonamiento es vlido, resultando que es falso que Jaime y Lina tengan el
mismo promedio.
Al realizar la tabla de valores se obtuvo que todos los valores dieron verdadero,
lo que automticamente lo convierte en una tautologa, por lo tanto, la
conclusin en la que Jaime y Lina no tienen el mismo promedio es cierta, tal
como se mostr en la inferencia del apartado anterior.
https://issuu.com/doraisabel4/docs/simplificaci__n_y_ley_de_la_conjunc
simplificacin y ley de la conjuncin
https://www.youtube.com/watch?v=OuHYh1Xw5no