Regla de inferencia modus ponens
Resumen inicial
Definición, estructura deductiva y validez formal de la regla de inferencia Modus Ponendo Ponens (afirmando el antecedente se afirma el consecuente).
Explicación en palabras simples
El Modus Ponens (nombre completo: Modus Ponendo Ponens, que significa "el método que afirma afirmando") es la regla de deducción lógica más natural y utilizada. Dice lo siguiente: si sabemos que una regla condicional es verdadera ("Si llueve, la calle se moja") y sabemos con certeza que la primera parte ocurrió ("Efectivamente está lloviendo"), podemos concluir con total seguridad que la segunda parte es verdadera ("Por lo tanto, la calle está mojada").
Explicación formal
Definición formal
En el cálculo deductivo y los sistemas de deducción natural, el Modus Ponendo Ponens (MP) es una regla de inferencia válida y primitiva cuya estructura secuencial formal es:
$$\frac{p \to q, \quad p}{\therefore q}$$
Su validez semántica se sustenta en que la fórmula implicativa correspondiente es una tautología estricta:
$$\models ((p \to q) \land p) \to q$$
Desglose simbólico
- Premisa Mayor: $p \to q$ (regla condicional establecida).
- Premisa Menor: $p$ (afirmación fáctica del antecedente).
- Conclusión necesaria: $q$ (deducción irrebatible del consecuente).
- Demostración de validez: Si $v(p \to q) = V$ y $v(p) = V$, la única fila compatible en la tabla de verdad es la Fila 1 ($V, V$), donde necesariamente $v(q) = V$.
Síntesis didáctica
El Modus Ponens permite avanzar deductivamente desde las hipótesis hacia las conclusiones en cualquier demostración matemática formal.
La alternativa correcta es 'A partir de $p \to q$ y $p$, se deduce válidamente $q$'. El Modus Ponens afirma el antecedente para deducir el consecuente.
Definiciones clave
- Modus Ponens (MP): Regla de inferencia que permite deducir $q$ a partir de las premisas $p \to q$ y $p$.
- Premisa mayor: Proposición condicional general que establece la regla de inferencia.
- Premisa menor: Proposición atómica que valida el antecedente de la premisa mayor.
Propiedades y relaciones importantes
- Preservación de la verdad: Si las premisas son verdaderas, la conclusión $q$ es necesariamente verdadera en el 100% de los casos.
- Distinción con la falacia de afirmación del consecuente: Conocer $p \to q$ y $q$ NO permite deducir $p$ (eso es una falacia formal).
Ejemplo guiado
Aplica la regla del Modus Ponens a las siguientes premisas: Premisa 1: "Si un número entero es múltiplo de $6$, entonces es múltiplo de $2$". Premisa 2: "El número $24$ es múltiplo de $6$".
- Paso 1: Identificar las variables proposicionales: - $p$: "El número $24$ es múltiplo de $6$". - $q$: "El número $24$ es múltiplo de $2$".
- Paso 2: Escribir la Premisa 1 en forma simbólica: $p \to q$.
- Paso 3: Escribir la Premisa 2 en forma simbólica: $p$ (se afirma el antecedente).
- Paso 4: Aplicar el esquema del Modus Ponens $\frac{p \to q, \quad p}{\therefore q}$.
- Paso 5: Enunciar la conclusión deducida: "Por lo tanto, el número $24$ es múltiplo de $2$".
La alternativa correcta es 'Porque no existe ninguna combinación donde las premisas sean verdaderas y la conclusión falsa'. Garantiza la validez del razonamiento.
Procedimiento
- Paso 1: Localizar la premisa condicional mayor: $p \to q$.
- Paso 2: Localizar la premisa menor fáctica y comprobar que coincide exactamente con el antecedente $p$.
- Paso 3: Verificar que no se esté afirmando el consecuente (evitando la falacia de afirmación del consecuente).
- Paso 4: Emitir formalmente la conclusión necesaria $q$.
Errores frecuentes y cómo corregirlos
- Error 1: Afirmar el consecuente $q$ para intentar deducir $p$. Cómo corregirlo: Si tenemos $p \to q$ y sabemos $q$, no podemos deducir $p$ (Falacia de Afirmación del Consecuente). El Modus Ponens exige afirmar estrictamente el antecedente $p$.
- Error 2: Negar el antecedente $\neg p$ para intentar deducir $\neg q$. Cómo corregirlo: Si tenemos $p \to q$ y $\neg p$, no podemos deducir $\neg q$ (Falacia de Negación del Antecedente).
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Premisa 1: $p \to q$.
- Premisa 2: $p$.
- Por Modus Ponens se concluye $q$: "La figura $F$ es un triángulo".
- Sí, su tabla de verdad produce el vector $[V, V, V, V]^T$.
- Sí, como la premisa menor coincide con el antecedente $\neg p$, por Modus Ponens se concluye $q$.
- Sí, si las premisas son verdaderas, la conclusión es infaliblemente verdadera.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Conocer, justificar y aplicar la regla de inferencia deductiva Modus Ponens ($\frac{p \to q, p}{\therefore q}$).
Identificar antecedente y consecuente, aplicar la regla de afirmación directa y distinguir el razonamiento válido de las falacias formales.
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