Reglas de inferencia y demostraciones lógicas

Introducción a las reglas de inferencia y demostraciones lógicas

En lógica proposicional y de predicados, las reglas de inferencia son los instrumentos que nos permiten pasar de premisas a conclusiones de forma válida. Dominar estas reglas es esencial para construir demostraciones lógicas rigurosas, ya sea en matemáticas, informática o filosofía. En este curso exploraremos las reglas más relevantes, su aplicación práctica y cómo evitar errores comunes.

1. Modus Ponens: la regla de inferencia más utilizada

El Modus Ponens (MP) se expresa formalmente como:

• Si p ⇒ q y p es verdadera, entonces q es verdadera.

Esta regla es una tautología: la proposición (p ⇒ q) ∧ p ⇒ q siempre es verdadera, sin importar los valores de verdad de p y q. Por ello, es la base de la mayoría de los razonamientos deductivos.

Ejemplo típico: Si llueve (p), entonces la calle está mojada (q). Observamos que está lloviendo; por MP concluimos que la calle está mojada.

2. Silogismo hipotético y combinaciones con leyes de De Morgan

El silogismo hipotético permite encadenar dos condicionales:

• Si p ⇒ q y q ⇒ r, entonces p ⇒ r.

En el argumento de la pregunta:

"Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir. Si nos quedamos a cenar o a dormir no iremos mañana al concierto. Mañana iremos al concierto. Por lo tanto, la tormenta no continúa".

Se combina el silogismo hipotético con la Ley de De Morgan para transformar la disyunción p ∨ q en una conjunción de negaciones y así obtener la conclusión ¬p. Esta combinación es una estrategia frecuente en demostraciones que involucran ∨ y ∧.

3. Particularización y generalización universal

En lógica de predicados, distinguimos dos reglas fundamentales:

• Particularización universal: De una afirmación universal ∀x P(x) se deduce que P(c) es verdadera para cualquier constante c del dominio.
• Generalización universal: Si hemos demostrado P(c) para una constante arbitraria c que no aparece en premisas previas, podemos concluir ∀x P(x).

La diferencia esencial radica en la dirección del razonamiento: la primera extrae una instancia concreta de una regla universal, mientras que la segunda eleva una instancia concreta a una afirmación universal.

4. Simplificación y Modus Ponens en conjunciones

Cuando una premisa tiene la forma p ∧ q ⇒ r y sabemos que p es verdadera, debemos primero simplificar la conjunción para obtener q (si también es conocida) o mantener q como condición adicional. Luego, aplicamos Modus Ponens:

• De p ∧ q ⇒ r y p, obtenemos q ⇒ r (simplificación).
• Si además q es verdadera, concluimos r mediante Modus Ponens.

Esta cadena de inferencias es frecuente en pruebas que involucran hipótesis compuestas.

5. Demostración de que "si n es impar entonces n² es impar"

Para probar esta proposición usamos una demostración directa basada en la definición de número impar:

1. Sea n impar. Entonces n = 2k + 1 para algún entero k.
2. Elevamos al cuadrado: n² = (2k + 1)² = 4k² + 4k + 1.
3. Factorizamos el término 4k² + 4k como 2·(2k² + 2k). Así, n² = 2·(2k² + 2k) + 1.
4. El factor 2·(2k² + 2k) es claramente par; al sumarle 1 obtenemos un número impar.

El paso clave es la factorización del término par, que muestra explícitamente la forma 2·m + 1, característica de los impares.

6. Regla de inferencia de Adición

La regla de Adición permite introducir una disyunción a partir de una proposición cualquiera:

• p ⇒ p ∨ q

Esta es una tautología válida porque, si p es verdadera, la disyunción p ∨ q también lo es, sin importar el valor de q. Es útil para ampliar el contexto de una premisa y luego aplicar otras reglas como el silogismo disyuntivo.

7. Falacias comunes: el error de invertir la dirección del condicional

El razonamiento "p ⇒ q, q ⇒ p" parece sugerir una equivalencia, pero no constituye una regla de inferencia válida porque la combinación (p ⇒ q) ∧ (q ⇒ p) no es una tautología. Cuando p es falsa y q verdadera, ambas premisas pueden ser verdaderas mientras que la conclusión deseada (por ejemplo, p ⇔ q) falla. Por ello, es crucial verificar la validez lógica mediante tablas de verdad o sistemas de deducción.

8. Particularización existencial

En lógica de predicados, la particularización existencial permite pasar de una afirmación existencial ∃x P(x) a una instancia concreta P(c), donde c es un término nuevo que representa un elemento del dominio que satisface P. Esta regla es válida siempre que c no aparezca en premisas anteriores, garantizando que la inferencia no introduzca información no justificada.

9. Resumen de las reglas estudiadas

• Modus Ponens: (p ⇒ q) ∧ p ⇒ q.
• Silogismo hipotético: (p ⇒ q) ∧ (q ⇒ r) ⇒ (p ⇒ r).
• Particularización universal: ∀x P(x) ⇒ P(c).
• Generalización universal: P(c) ⇒ ∀x P(x) (c arbitrario).
• Simplificación: p ∧ q ⇒ p y p ∧ q ⇒ q.
• Adición: p ⇒ p ∨ q.
• Particularización existencial: ∃x P(x) ⇒ P(c).

10. Buenas prácticas para construir demostraciones lógicas

Al redactar una demostración, sigue estos pasos:

1. Identifica las premisas y la conclusión claramente.
2. Selecciona la regla de inferencia adecuada para cada paso.
3. Justifica cada transformación con una regla reconocida (p. ej., simplificación, adición, modus ponens).
4. Evita suposiciones no justificadas; cada constante introducida debe ser arbitraria o derivada de una existencia previamente establecida.
5. Revisa la validez mediante tablas de verdad o sistemas formales cuando la inferencia no sea evidente.

Aplicar estas pautas garantiza que tu razonamiento sea sólido y libre de falacias.

Conclusión

Dominar las reglas de inferencia es fundamental para cualquier disciplina que requiera razonamiento riguroso. Desde el Modus Ponens hasta la particularización existencial, cada regla ofrece una herramienta específica para avanzar en una prueba. Practicar con ejercicios, como los presentados en este curso, fortalece la capacidad de reconocer y aplicar correctamente cada regla, evitando errores comunes y construyendo demostraciones claras y convincentes.