Regla de inferencia modus ponens
Aplicar la regla de inferencia Modus Ponens para obtener conclusiones válidas a partir de premisas dadas.
Introducción
Imagina que tienes una regla general muy clara: "Si sale el sol, entonces iremos a la playa". Luego, miras por la ventana y ves que, efectivamente, ¡el sol ha salido! ¿A qué conclusión llegas? Muy fácil: iremos a la playa.
Esta forma de pensar tan natural es una regla de inferencia formal que los matemáticos llaman Modus Ponens, que en latín significa "el modo que afirma al afirmar".
Consiste en que si tienes una implicación condicional verdadera (Si A, entonces B) y además sabes que la primera parte (A) es verdadera, entonces puedes concluir de forma 100% segura que la segunda parte (B) también es verdadera. Es una de las bases del razonamiento lógico.
Explicación
El Modus Ponens (abreviado como MP y conocido formalmente como Modus Ponendo Ponens) es una regla de inferencia fundamental y válida en la lógica proposicional.
Esquema de Inferencia
Se representa tradicionalmente de la siguiente manera:
Premisa 1: $p \to q$
Premisa 2: $p$
Conclusión: $q$
En notación de deducción lógica:
$$p, \quad p \to q \quad \vdash \quad q$$
Demostración de Validez mediante Tabla de Verdad
Un argumento es válido si en todas las filas donde todas las premisas son verdaderas, la conclusión también lo es. Analicemos la tabla de verdad de las premisas y la conclusión:
| $p$ | $q$ | Premisa 1: $p \to q$ | Premisa 2: $p$ | Conclusión: $q$ |
|---|---|---|---|---|
| V | V | V | V | V |
| V | F | F | V | F |
| F | V | V | F | V |
| F | F | V | F | F |
La única fila donde ambas premisas son Verdaderas (Premisa 1 es V y Premisa 2 es V) es la primera fila. En esa misma fila, observamos que la conclusión $q$ es obligatoriamente Verdadera. Por lo tanto, la inferencia es lógicamente válida.
Cómo hacerlo paso a paso
- Paso 1: Identificar las premisas dadas en el argumento. Buscar una premisa de estructura condicional ($p \to q$).
- Paso 2: Buscar una segunda premisa que afirme exactamente el antecedente del condicional ($p$).
- Paso 3: Si se cumplen las condiciones de los Pasos 1 y 2, aplicar la regla de inferencia Modus Ponens para deducir de forma válida el consecuente ($q$). Esquema: $p, p \to q \vdash q$.
Ejemplos
1 Determina si el siguiente razonamiento es válido e identifica qué regla usa: 'Si un número es par, entonces es divisible por 2. El número 8 es par. Por lo tanto, el número 8 es divisible por 2'.
- Paso a: Formalizamos las proposiciones. Sea $p$ 'el número es par' y $q$ 'es divisible por 2'.
- Paso b: Identificamos las premisas: Premisa 1 es $p \to q$, Premisa 2 es $p$ (aplicada al número 8).
- Paso c: Observamos que el razonamiento tiene la estructura: $p \to q$ y $p$ como premisas, y concluye $q$.
- Paso d: El razonamiento es válido por la regla de inferencia Modus Ponens ($p, p \to q \vdash q$).
2 Dadas las premisas $\neg a \to b$ y $\neg a$, ¿qué conclusión se puede obtener usando Modus Ponens?
- Paso a: Identificamos la premisa condicional: $\neg a \to b$. Aquí, el antecedente completo es $\neg a$ y el consecuente es $b$.
- Paso b: Identificamos la segunda premisa: $\neg a$, la cual coincide de forma exacta con el antecedente.
- Paso c: Aplicamos Modus Ponens: dado que se afirma el antecedente, concluimos el consecuente.
- Paso d: La conclusión obtenida es $b$. En esquema: $\neg a, \neg a \to b \vdash b$.
3 ¿Es válido concluir $q$ a partir de las premisas $p \to q$ y $q$?
- Este tipo de razonamiento es una falacia conocida como la falacia de afirmación del consecuente.
- Modus Ponens requiere afirmar el antecedente ($p$), no el consecuente ($q$).
- Por ejemplo, 'Si llueve, el suelo se moja. El suelo está mojado. Por lo tanto, llueve' es inválido porque el suelo pudo haberse mojado por otra razón.
4 ¿La regla Modus Ponens permite concluir $\neg p$ a partir de $p \to q$ y $\neg q$?
- Modus Ponens requiere afirmar el antecedente. Aquí se está negando el consecuente ($\neg q$).
- Aunque concluir $\neg p$ a partir de esas premisas es un razonamiento válido, la regla de inferencia utilizada en ese caso es Modus Tollens, no Modus Ponens.
Ejemplos Verdadero/Falso
"Cometer la falacia de afirmación del consecuente, es decir, creer que si se cumple $p \\to q$ y se tiene $q$, entonces se puede concluir $p$."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Cometer la falacia de negación del antecedente, es decir, creer que si se cumple $p \\to q$ y se tiene $\\neg p$, entonces se puede concluir $\\neg q$."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Aplicar la regla cuando la premisa condicional tiene un orden invertido o incompleto en el lenguaje natural."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir Modus Ponens (afirmar el antecedente) con Modus Tollens (negar el consecuente)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Tratar de deducir conclusiones sin verificar que la premisa condicional sea realmente verdadera o esté aceptada en el contexto."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
El Modus Ponens es una regla de inferencia que establece que si se tienen como premisas un condicional $p \to q$ y su antecedente $p$, se puede concluir válidamente el consecuente $q$. Esquema: $p, p \to q \vdash q$.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Qué describe mejor modus ponens?
La definición correcta es: modus ponens permite concluir q a partir de p → q y p. Esa es la idea central de modus ponens.
Respuesta: modus ponens permite concluir q a partir de p → q y p
-
¿Qué afirmación clave conviene recordar sobre modus ponens?
La afirmación correcta es: Su esquema es: p → q, p, por lo tanto q.. Esa observación ayuda a usar bien el concepto.
Respuesta: Su esquema es: p → q, p, por lo tanto q.
-
¿Cuál de los siguientes casos ejemplifica mejor modus ponens?
El ejemplo correcto es: Si estudias, apruebas. Estudias. Luego, apruebas.. Ese caso representa adecuadamente modus ponens.
Respuesta: Si estudias, apruebas. Estudias. Luego, apruebas.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifica la opción que corresponde a modus ponens.
Se reconoce modus ponens en el ejemplo: Si estudias, apruebas. Estudias. Luego, apruebas..
Respuesta: Si estudias, apruebas. Estudias. Luego, apruebas.
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿Es correcto afirmar que modus ponens permite concluir q a partir de p → q y p?
Verdadero. Esa es justamente la definición de modus ponens.
Respuesta: Verdadero
-
¿El caso “Si estudias, apruebas. Estudias. Luego, apruebas” corresponde a modus ponens?
Verdadero. El ejemplo dado es una aplicación directa de modus ponens.
Respuesta: Verdadero
-
¿La afirmación “El contrarrecíproco es lógicamente equivalente al condicional original.” describe modus ponens?
Falso. Modus ponens se describe mejor así: modus ponens permite concluir q a partir de p → q y p. La afirmación propuesta corresponde a otra idea.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
En una guía PAES, una estudiante debe reconocer modus ponens. ¿Qué alternativa aplica correctamente esta idea?
La alternativa correcta es: Si estudias, apruebas. Estudias. Luego, apruebas.. Ese caso representa modus ponens sin ambigüedad.
Respuesta: Si estudias, apruebas. Estudias. Luego, apruebas.
-
Un profesor escribe la afirmación “Su esquema es: p → q, p, por lo tanto q”. ¿A qué recurso se refiere principalmente?
La afirmación remite a Modus ponens, porque su idea clave es: Su esquema es: p → q, p, por lo tanto q..
Respuesta: Modus ponens
-
En un control se pide identificar la definición correcta de modus ponens. ¿Qué alternativa debe marcarse?
La opción correcta es la definición: modus ponens permite concluir q a partir de p → q y p.
Respuesta: modus ponens permite concluir q a partir de p → q y p