La regla de inferencia aprendida dice que

si se tienen dos proposiciones de la

formaP ? > Q y P,se puede deducir la
conclusión Q.

Premisa 1: Si ?P? entonces ?Q?.

Modus Premisa 2: ?P?. Mar cos Daniel Aguil ar Mondr agon 454-A
Conclusión: ?Q?.
Ponens
Ejemplo:
Es la ciencia que
trata de los Premisa 1: ?Si quieres pasar el examen de mañana,
principios válidos entonces debes estudiar mucho?.
del razonamiento Premisa 2: ?Quieres pasar el examen de mañana?.
y la Concluyente: ?Por lo tanto, debes estudiar mucho?.
argumentación. El
estudio de lógica
es el esfuerzo por
Cal cul o determinar las
Pr oposicional . condiciones que Se puede resumir como "Si P implica Q, y Qno es
justifican a una cierto, entonces Pno es cierto".
ciencia que t r ata de l os persona para pasar
pr incipios vál idos del
r azonamient o y l a de una proposición
ar gumentación. dada, llamadas
premisas, a una
conclusión que se
deriva de aquéllas. Si el agua hierve, entonces soltará vapor.
No suelta vapor.
Modus Por lo tanto,no está hirviendo el agua.
Tol l ens
En este caso, P es "el agua hierve", Q es
"suelta vapor". Dado que ¬Q, es decir, "no
suelta vapor", se puede concluir que ¬P, es
decir, "el agua no hierve".

https://www.monografias.com/trabajos16/calculo-proposicional/calculo-proposicional.shtml#CALCULO
https://www.lifeder.com/resultados/?q=Modus%20tollens
https://es.wikipedia.org/wiki/Modus_tollendo_tollens