Explicación

En términos generales, el modus ponendo ponens correlaciona dos

proposiciones: un antecedente condicionante al que se llama “P” y un
consecuente condicionado que recibe el nombre de “Q”.

Es importante que la premisa 1 siempre presente la forma condicionante

“si-entonces”; el “si” va previo al antecedente, y el “entonces” va previo al
consecuente.

Su formulación es la siguiente:

Premisa 1: Si “P” entonces “Q”.

Premisa 2: “P”.

Conclusión: “Q”.

Ejemplos

Primer ejemplo

Premisa 1: “Si quieres pasar el examen de mañana, entonces debes

estudiar mucho”.

Premisa 2: “Quieres pasar el examen de mañana”.

Concluyente: “Por lo tanto, debes estudiar mucho”.

Segundo ejemplo
Premisa 1: “Si quieres llegar rápido a la escuela, entonces debes tomar ese
camino”.

Premisa 2: “Quieres llegar rápido a la escuela”.

Concluyente: “Por lo tanto, debes tomar ese camino”.

Tercer ejemplo

Premisa 1: “Si quieres comer pescado, entonces debes ir a comprar en el

mercado”.

Premisa 2: “Quieres comer pescado”.

Concluyente: “Por lo tanto, debes ir a comprar en el mercado”

Variantes y ejemplos
El modus ponendo ponens puede presentar pequeñas variantes en su
formulación. A continuación se presentarán las cuatro variantes más
comunes con sus respectivos ejemplos.

Variante 1

Premisa 1: Si “P” entonces “¬Q”

Premisa 2: “P”

Conclusión: “¬Q”

En este caso el símbolo “¬” semeja la negación de “Q”

Primer ejemplo
Premisa 1: “Si sigues comiendo de esa manera, entonces no lograrás tu
peso ideal”.

Premisa 2: “Sigues comiendo de esa manera”.

Conclusión: “Por lo tanto, no lograrás tu peso ideal”.

Segundo ejemplo

Premisa 1: “Si sigues comiendo tanta sal, entonces no lograrás controlar la

hipertensión”.

Premisa 2: “Sigues comiendo tanta sal”.

Conclusión: “Por lo tanto, no lograrás controlar la hipertensión”.

Tercer ejemplo

Premisa 1: “Si estás pendiente del camino, entonces no te perderás”.

Premisa 2: “Estás pendiente del camino”.

Conclusión: “Por lo tanto, no te perderás”.

Variante 2

Premisa 1: Si “P”^“R” entonces “Q”

Premisa 2: “P”^

Conclusión: “Q”
En este caso el símbolo “^” alude a la conjunción copulativa “y”, mientras
que la “R” viene a representar otro antecedente que se añade para validar
a “Q”. Es decir, estamos en presencia de una doble condicionante.

Primer ejemplo

Premisa 1: “Si vienes a casa y traes palomitas, entonces veremos una

película”.

Premisa 2: “Vienes a casa y traes palomitas”.

Conclusión: “Por lo tanto, veremos una película”.

Segundo ejemplo

Premisa 1: “Si manejas ebrio y viendo el celular, entonces chocarás”.

Premisa 2: “Manejas ebrio y viendo el celular”.

Conclusión: “Por lo tanto, chocarás”.

Tercer ejemplo

Premisa 1: “Si tomas café y comes chocolate, entonces estás cuidando tu

corazón”.

Premisa 2: “Tomas café y comes chocolate”.

Conclusión: “Por lo tanto, estás cuidando tu corazón”.

Variante 3

Premisa 1: Si “¬P” entonces “Q”

Premisa 2: “¬P”

Conclusión: “Q”

En este caso el símbolo “¬” semeja la negación de “P”.

Primer ejemplo

Premisa 1: “Si no estudiaste las concurrencias vocálicas, entonces

reprobarás el examen de lingüística”.

Premisa 2: “No estudiaste las concurrencias vocálicas”.

Conclusión: “Por lo tanto, reprobarás el examen de lingüística”.

Segundo ejemplo

Premisa 1: “Si no le das comida a tu loro, entonces morirá”.

Premisa 2: “No le das comida a tu loro”.

Conclusión: “Por lo tanto, morirá”.

Tercer ejemplo

Premisa 1: “Si no bebes agua, entonces te deshidratarás”.

Premisa 2: “No bebes agua”.

Conclusión: “Por lo tanto, te deshidratarás”.

Variante 4

Premisa 1: Si “P” entonces “Q”^“R”

Premisa 2: “P”

Conclusión: “Q”^“R”

En este caso el símbolo “^” hace alusión a la conjunción copulativa “y”,

mientras que la “R” representa a un segundo consecuente en la
proposición; por ende, un antecedente estará afirmando a dos
consecuentes al mismo tiempo.

Primer ejemplo

Premisa 1: “Si fuiste bueno con tu madre, entonces tu padre te traerá una
guitarra y sus cuerdas”.

Premisa 2: “Fuiste bueno con tu madre”.

Conclusión: “Por lo tanto, tu padre te traerá una guitarra y sus cuerdas”.

Segundo ejemplo

Premisa 1: “Si estás practicando natación, entonces mejorarás tu

resistencia física y bajarás de peso”.

Premisa 2: “Estás practicando natación”.

Conclusión: “Por lo tanto, mejorarás tu resistencia física y bajarás de peso”.

Tercer ejemplo

Premisa 1: “Si has leído este artículo en Lifeder, entonces has aprendido y
estás más preparado”.

Premisa 2: “Has leído este artículo en Lifeder”.

Conclusión: “Por lo tanto, has aprendido y estás más preparado”.

Modus ponens, un camino a la lógica

El modus ponens representa la primera regla de la lógica proposicional. Es
un concepto que, partiendo de premisas simples de comprender, abre el
entendimiento razonamientos más profundos.

A pesar de ser uno de los recursos más utilizados en el mundo de la lógica,

no puede confundirse con una ley lógica; es simplemente un método para
la elaboración de evidencias deductivas.

Al suprimir una sentencia de las conclusiones, el modus ponens evita la

aglutinación y concatenación extensiva de elementos al momento de
elaborar deducciones. Por esa cualidad es llamado también “regla de
separación”.

El modus ponendo ponens es un recurso indispensable para el conocimiento

pleno de la lógica aristotélica

Definición de Modus tollens

Dentro de la Lógica proposicional resalta un tipo de argumento
lógico, conocido como Modus Tollendo Tollens, el cual también se
ha sintetizado a su forma Modus Tollens, y que básicamente indica en
latín la ley lógica en el que “el modo que al negar, niega”. De esta
forma, este argumento, que a su vez también constituye una regla
de inferencia, trata de establecer una conectiva lógica entre dos
proposiciones, la cual se basa en que si una primera afirmación,
implica una segunda proposición, y la primera resulta no verdadera,
por ende la segunda tampoco lo es.
Expresión formal del Modus
Tollens
Así mismo, ya en la expresión formal de este tipo de argumento
lógico creado en la antigüedad por los estoicos, tendría según los
cánones de la Lógica proposicional la siguiente expresión:

La cual puede ser entendida como una inferencia lógica, la cual dicta
que cada vez que “P implica Q” (P → Q) significa que “no es el caso
de Q” (¬ Q) es decir que Q no es verdadera, por lo que P tampoco lo es
(‫ ¬﮷‬P).
Explicación del Modus
tollens
Con respecto a la explicación de este argumento proposicional, la
Lógica indica que básicamente consta de dos premisas, la primera de
las cuales constituye un condicional, el cual se expresa a través de la
forma “si entonces”, y la segunda que indica que no es cierta. Por
consiguiente, si la primera implica la segunda, y ésta es no
verdadera, en un sentido lógico se puede concluir inmediatamente
que la primera tampoco lo es.
[yuzo_related]

Ejemplos de Modus Tollens

Sin embargo, resulta pertinente explicar a través de ejemplos
prácticos este tipo de argumento de la lógica proposicional. A
continuación, algunos ejemplos de Modus tollens:
Ejemplo 1
P : Si el gato ve un ratón, entonces se pondrá en posición de caza.
1

P : El gato no se puso en posición de casa.

2
C: Por lo tanto, el gato no vio ningún ratón.
De esta forma, si se piensa que la proposición uno es equivalente a P
implica Q, P→Q (siendo el condicional: “si el gato ve un ratón,
entonces se pondrá en posición de caza) y la segunda proposición es
equivalente a ¬Q, es decir que no es (el gato no se puso en posición
de caza) se puede concluir de forma lógica que P tampoco es cierta ¬ ‫﮷‬P
(por lo tanto, el gato no vio ningún ratón).
Ejemplo 2
En este mismo orden de ideas se puede exponer este otro ejemplo de
Modus tollens:
P : Si hace sol hoy, entonces vamos a la playa.
1

P : No vamos a la playa
2

C: Por lo tanto no hace sol

En este caso también se puede encontrar un tipo de inferencia
proposicional de “el modo que, al negar, niega” o Modus Tollens, en
donde la primera proposición P implica Q, P→Q, se expresa de forma
condicional (Si hace sol hoy, entonces vamos a la playa), mientras
que la segunda haría referencia a ¬Q, es decir que es una
proposición que expresa que “no es” (no vamos a la playa)
concluyéndose lógicamente que si P implica Q y Q no es, P tampoco
(Por lo tanto, no hace sol).
Ejemplo 3
Finalmente, otro ejemplo de Modus tollens puede ser el siguiente:
P1: Si haces la tarea, entonces te compro un helado
P2: No te compro un helado.
C: Por lo tanto no has hecho la tarea.
Igualmente, si se parte de que la primera proposición condicional
constituye que P implica Q, P→Q (Si haces la tarea, entonces te
compro un helado) al tiempo que la segunda proposición se refiere a
¬Q es decir que no es (no te compro un helado) la conclusión lógica
–planteada por el Modus tollens- sería que P tampoco es cierta
P ¬‫(﮷‬Por lo tanto no has hecho la tarea).
Máxima del Modus Tollens
De esta forma, el Modus Tollens se tiene dentro de la Lógica
proposicional como un tipo de argumento totalmente válido, puesto
que si se parte de la base de que las dos proposiciones relacionadas
son absolutamente ciertas no existe ninguna forma de que la
conclusión o inferencia lógica a la que conduce sea en ningún
sentido falsa. Por ende es la relación entre las proposiciones las que
arroja la conclusión verdadera