Reglas de inferencia

Las reglas de inferencia son esquemas o patrones lógicos formales que permiten deducir válidamente una conclusión a partir de una o más proposiciones dadas llamadas premisas. Constituyen la base del razonamiento deductivo formal y garantizan que, si las premisas iniciales son verdaderas, la conclusión obtenida necesariamente también lo será.

En la lógica proposicional, cada regla de inferencia representa una tautología condicional. Esto significa que al unir todas las premisas mediante conjunciones (∧) y relacionarlas con la conclusión mediante un condicional (→), la proposición resultante es verdadera para todas las combinaciones posibles de valores de verdad.

A diferencia de las leyes de equivalencia lógica, que permiten sustituir proposiciones con el mismo valor de verdad en ambos sentidos mediante un bicondicional (↔), las leyes de inferencia operan en un único sentido deductivo. Su propósito principal es avanzar paso a paso en las demostraciones formales sin alterar la validez del argumento.

Reglas de inferencia en lógica proposicional

En la siguiente tabla veremos las reglas más empleadas en la lógica proposicional, acompañadas de su notación formal y un ejemplo en lenguaje natural.

Regla	Formato condicional	Formato vertical	Ejemplo
Modus ponens (MP)	[(p → q) ∧ p] → q	$$\begin{matrix} p \rightarrow q \\ p \\ \hline \therefore q \end{matrix}$$	Si llueve, el suelo se moja. Llueve. Por lo tanto, el suelo se moja.
Modus tollens (MT)	[(p → q) ∧ ¬q] → ¬p	$$\begin{matrix} p \rightarrow q \\ \neg q \\ \hline \therefore \neg p \end{matrix}$$	Si llueve, el suelo se moja. El suelo no está mojado. Por lo tanto, no llueve.
Silogismo hipotético (SH)	[(p → q) ∧ (q → r)] → (p → r)	$$\begin{matrix} p \rightarrow q \\ q \rightarrow r \\ \hline \therefore p \rightarrow r \end{matrix}$$	Si estudio, apruebo el examen. Si apruebo el examen, celebro. Por lo tanto, si estudio, celebro.
Silogismo disyuntivo (SD)	[(p ∨ q) ∧ ¬p] → q	$$\begin{matrix} p \lor q \\ \neg p \\ \hline \therefore q \end{matrix}$$	Viajo en tren o en autobús. No viajo en tren. Por lo tanto, viajo en autobús.
Simplificación	(p ∧ q) → p	$$\begin{matrix} p \land q \\ \hline \therefore p \end{matrix}$$	Tengo un perro y tengo un gato. Por lo tanto, tengo un perro.
Conjunción	(p ∧ q) → (p ∧ q)	$$\begin{matrix} p \\ q \\ \hline \therefore p \land q \end{matrix}$$	El cielo está despejado. Hace calor. Por lo tanto, el cielo está despejado y hace calor.
Adición	p → (p ∨ q)	$$\begin{matrix} p \\ \hline \therefore p \lor q \end{matrix}$$	Tengo una manzana. Por lo tanto, tengo una manzana o tengo una naranja.
Dilema constructivo (DC)	[(p → q) ∧ (r → s) ∧ (p ∨ r)] → (q ∨ s)	$$\begin{matrix} p \rightarrow q \\ r \rightarrow s \\ p \lor r \\ \hline \therefore q \lor s \end{matrix}$$	Si voy al cine gasto dinero, y si voy al parque camino. Voy al cine o voy al parque. Por lo tanto, gasto dinero o camino.
Dilema destructivo (DD)	[(p → q) ∧ (r → s) ∧ (¬q ∨ ¬s)] → (¬p ∨ ¬r)	$$\begin{matrix} p \rightarrow q \\ r \rightarrow s \\ \neg q \lor \neg s \\ \hline \therefore \neg p \lor \neg r \end{matrix}$$	Si cocino compro comida, y si salgo tomo un taxi. No compré comida o no tomé un taxi. Por lo tanto, no cociné o no salí.
Absorción	(p → q) → [p → (p ∧ q)]	$$\begin{matrix} p \rightarrow q \\ \hline \therefore p \rightarrow (p \land q) \end{matrix}$$	Si corro, me canso. Por lo tanto, si corro, entonces corro y me canso.
Ley de casos	[(p → q) ∧ (¬p → q)] → q	$$\begin{matrix} p \rightarrow q \\ \neg p \rightarrow q \\ \hline \therefore q \end{matrix}$$	Si voy al trabajo uso camisa, y si me quedo en casa uso camisa. Por lo tanto, uso camisa.

A continuación examinamos en detalle las reglas deductivas más utilizadas, su estructura condicional y ejemplos aplicados a diferentes contextos.

Modus ponens

El modus ponens, cuyo nombre en latín significa «el modo que al afirmar, afirma», es la regla más intuitiva de la lógica proposicional. Establece que si una implicación condicional es verdadera y simultáneamente su antecedente ocurre, entonces el consecuente necesariamente debe ser verdadero.

Su expresión condicional como tautología se escribe como [(p → q) ∧ p] → q. Esta regla constituye la base directa de los sistemas de deducción natural y de la ejecución secuencial de instrucciones en programación.

Ejemplos

• Premisa 1: Si la luz del semáforo está en rojo, entonces el conductor detiene el vehículo.
  Premisa 2: La luz del semáforo está en rojo.
  Conclusión: Por lo tanto, el conductor detiene el vehículo.
• Premisa 1: Si un estudiante aprueba el examen final, entonces promociona la materia.
  Premisa 2: El estudiante aprobó el examen final.
  Conclusión: Por lo tanto, promociona la materia.
• Premisa 1: Si un número entero n es divisible por 4, entonces n es un número par.
  Premisa 2: El número 16 es divisible por 4.
  Conclusión: Por lo tanto, el número 16 es un número par.

Más información y ejemplos del modus ponens

Modus tollens

El modus tollens proviene de la expresión latina «el modo que al negar, niega». Esta regla determina que si una condicional es válida y su consecuente resulta ser falso, el antecedente obligatoriamente no pudo haber ocurrido.

En notación formal, su estructura corresponde a la tautología [(p → q) ∧ ¬q] → ¬p. Es una herramienta indispensable en demostraciones por contradicción y en el método científico para descartar hipótesis cuando los resultados esperados no se cumplen.

Ejemplos

• Premisa 1: Si hay fuego en el bosque, entonces se observa humo en el cielo.
  Premisa 2: No se observa humo en el cielo.
  Conclusión: Por lo tanto, no hay fuego en el bosque.
• Premisa 1: Si un polígono es un cuadrado, entonces tiene exactamente cuatro lados.
  Premisa 2: Esta figura geométrica no tiene cuatro lados.
  Conclusión: Por lo tanto, la figura no es un cuadrado.
• Premisa 1: Si una función f(x) es derivable en un punto x = a, entonces f(x) es continua en ese punto.
  Premisa 2: La función no es continua en x = a.
  Conclusión: Por lo tanto, la función no es derivable en x = a.

Más información y ejemplos del modus tollens

Silogismo hipotético

El silogismo hipotético expresa la propiedad transitiva de la implicación lógica. Nos indica que si una primera condición produce un resultado intermedio, y dicho resultado intermedio desencadena una tercera consecuencia, existe una relación directa entre el punto de partida y el desenlace final.

Su representación formal como condicional tautológico es [(p → q) ∧ (q → r)] → (p → r). Esta regla permite construir cadenas argumentativas complejas y enlazar teoremas sucesivos en matemáticas.

Por ejemplo, si consideramos que al ahorrar dinero mensualmente se pueden comprar pasajes de avión, y al comprar dichos pasajes se concreta un viaje a otro país, se concluye directamente que al ahorrar dinero mensualmente se viajará a otro país. En el ámbito algebraico, si se establece que x > 5 → x > 2 y además que x > 2 → x > 0, se deduce inmediatamente que x > 5 → x > 0.

Más información y ejemplos del silogismo hipotético

Silogismo disyuntivo

El silogismo disyuntivo modela el razonamiento por descarte entre alternativas exclusivas en un contexto dado. Si se tiene la certeza de que al menos una de dos proposiciones es verdadera y se logra refutar una de ellas, la proposición restante debe asumirse como verdadera de forma obligatoria.

Formalmente se describe mediante el esquema [(p ∨ q) ∧ ¬p] → q, o bien [(p ∨ q) ∧ ¬q] → p. Es la regla lógica más habitual en la resolución de problemas donde se reducen opciones posibles.

Como ejemplo cotidiano, consideremos la afirmación de que el pago de una compra se realiza con tarjeta de débito o con dinero en efectivo. Si se verifica que el comprador no dispone de dinero en efectivo, se concluye necesariamente que el pago se realiza con tarjeta de débito. Matemáticamente, si una ecuación tiene como soluciones posibles x = 3 o x = -3, y se demuestra que x ≠ -3, se infiere que x = 3.

Más información y ejemplos del silogismo disyuntivo

Simplificación y adición

Las reglas de simplificación y adición operan respectivamente sobre las conectivas de conjunción y disyunción. La simplificación permite extraer cualquier componente individual de una conjunción verdadera mediante la fórmula (p ∧ q) → p, ya que si ambas partes son ciertas a la vez, cada una lo es por separado.

Por otro lado, la adición permite añadir cualquier proposición arbitraria a una afirmación verdadera mediante una disyunción, bajo el esquema p → (p ∨ q). Dado que una disyunción solo requiere que uno de sus términos sea verdadero para ser válida en su totalidad, la veracidad de la proposición original garantiza el valor del conjunto.

Un caso elemental de simplificación ocurre cuando se afirma que un triángulo es equilátero y equiángulo, deduciendo inmediatamente que el triángulo es equilátero. En el caso de la adición, si se sabe con certeza que el número 2 es un número primo, es formalmente válido concluir que 2 es primo o 2 es impar.

Regla de resolución

La regla de resolución es un esquema de inferencia que opera sobre dos proposiciones expresadas como disyunciones. Establece que si una alternativa contiene una afirmación y la otra contiene su negación correspondiente, ambas se cancelan mutuamente, permitiendo concluir la disyunción de los términos restantes:

$$\begin{matrix} p \lor q \\ \neg p \lor r \\ \hline \therefore q \lor r \end{matrix}$$

Esta regla no suele incluirse en las tablas introductorias de lógica proposicional debido a que los métodos de deducción natural tradicionales priorizan esquemas directos como el silogismo disyuntivo o el modus ponens. Sin embargo, constituye un principio operativo sobre el que funcionan los algoritmos de demostración automática de teoremas, los solucionadores SAT y los sistemas de computación basados en programación lógica.

Para analizar su funcionamiento práctico, consideramos los siguientes enunciados:

• Premisa 1: Viajo en tren o viajo en autobús: p ∨ q.
  Premisa 2: No viajo en tren o llego a tiempo: ¬p ∨ r.
  Conclusión: Al resolver sobre el término opuesto, obtenemos: q ∨ r (viajo en autobús o llego a tiempo).
• Premisa 1: La entrada de datos es válida o el sistema emite una alerta: p ∨ q.
  Premisa 2: La entrada de datos no es válida o el archivo se guarda: ¬p ∨ r.
  Conclusión: Al aplicar la resolución sobre las premisas, deducimos: q ∨ r (el sistema emite una alerta o el archivo se guarda).

Demostración mediante tablas de verdad

Toda regla de inferencia válida constituye una tautología condicional. Esto significa que al evaluar la estructura completa del argumento mediante una tabla de verdad, la columna del condicional principal arroja un valor verdadero (V) en todas sus filas posibles, sin importar las combinaciones de las proposiciones simples.

Para comprobar la validez formal de una regla, se construye la tabla uniendo las premisas a través de conjunciones (∧) como antecedente y colocando la conclusión como consecuente de la implicación principal (→).

Demostración del modus ponens

La estructura lógica a evaluar es [(p → q) ∧ p] → q. En esta tabla comprobamos cómo la conjunción entre la implicación inicial y la afirmación de su antecedente garantiza siempre la verdad de la conclusión.

p	q	p → q	(p → q) ∧ p	[(p → q) ∧ p] → q
V	V	V	V	V
V	F	F	F	V
F	V	V	F	V
F	F	V	F	V

Como la última columna contiene únicamente valores verdaderos, queda formalmente demostrado que el modus ponens es un razonamiento válido y tautológico.

Demostración del modus tollens

Para el modus tollens analizamos la proposición compuesta [(p → q) ∧ ¬q] → ¬p. Aquí evaluamos el efecto de negar el consecuente sobre la implicación condicional de partida.

p	q	¬p	¬q	p → q	(p → q) ∧ ¬q	[(p → q) ∧ ¬q] → ¬p
V	V	F	F	V	F	V
V	F	F	V	F	F	V
F	V	V	F	V	F	V
F	F	V	V	V	V	V

El resultado final es idéntico: al obtener una columna final exclusivamente verdadera, se ratifica la validez universal del modus tollens en la lógica proposicional.

Demostración de la simplificación

En la regla de simplificación analizamos la fórmula condicional (p ∧ q) → p. El propósito es verificar que a partir de una conjunción verdadera siempre es legítimo deducir cualquiera de sus componentes de forma individual.

p	q	p ∧ q	(p ∧ q) → p
V	V	V	V
V	F	F	V
F	V	F	V
F	F	F	V

La obtención de valores verdaderos en todos los casos confirma que extraer una proposición aislada de una conjunción válida constituye una deducción plenamente tautológica.

Leyes de inferencia en lógica de predicados

En la lógica de predicados no es posible aplicar directamente las reglas deductivas proposicionales sobre fórmulas cuantificadas. La presencia de cuantificadores como ∀ o ∃ vincula las variables e impide manipular de forma aislada los conectivos lógicos internos.

Para resolver deducciones en este nivel, el procedimiento consiste en eliminar temporalmente los cuantificadores mediante reglas de instanciación, derivando proposiciones sobre elementos del dominio. Una vez obtenidas las fórmulas proposicionales, aplicamos las reglas de inferencia conocidas y, si la conclusión general lo exige, restituimos los cuantificadores mediante reglas de generalización.

En la siguiente tabla resumimos los cuatro esquemas de derivación disponibles para cuantificadores, su notación formal y el requisito sobre la constante empleada:

Regla	Premisa	Conclusión	Condición sobre el término
Ejemplificación universal (EU)	∀x P(x)	P(c)	c representa cualquier elemento o constante del universo.
Generalización universal (GU)	P(c)	∀x P(x)	c debe ser un elemento genérico y arbitrario.
Ejemplificación existencial (EE)	∃x P(x)	P(c)	c es una constante nueva, no introducida previamente.
Generalización existencial (GE)	P(c)	∃x P(x)	c es una constante particular del universo de discurso.

Ejemplificación universal

La ejemplificación universal establece que si un predicado se verifica para cada uno de los elementos de un universo, resulta válido deducir que se cumple para un objeto particular c de dicho conjunto. Su esquema deductivo vertical se expresa formalmente como:

$$\begin{matrix} \forall x \, P(x) \\ \hline \therefore P(c) \end{matrix}$$

Como la afirmación inicial abarca la totalidad del dominio sin excepciones, el término c puede designar tanto a un individuo concreto como a una variable genérica que represente a un elemento indeterminado.

Para comprender la aplicación de esta regla, analizamos los siguientes casos:

• Premisa: Todos los números pares son divisibles entre 2: ∀x (P(x) → D(x)).
  Conclusión: Al tomar el número 4, obtenemos: P(4) → D(4).
• Premisa: En geometría, todos los triángulos equiláteros son equiángulos: ∀x (E(x) → A(x)).
  Conclusión: Si llamamos t a un triángulo dado, concluimos: E(t) → A(t).

Generalización universal

La generalización universal permite concluir una propiedad para la totalidad del universo a partir de una deducción efectuada sobre un elemento c. La estructura formal de la regla se representa del siguiente modo:

$$\begin{matrix} P(c) \\ \hline \therefore \forall x \, P(x) \end{matrix}$$

Para garantizar la validez del razonamiento, el término c debe seleccionarse de forma estrictamente arbitraria. Esto significa que c no puede provenir de una suposición particular, ni de una ejemplificación existencial previa, ni poseer propiedades que lo distingan del resto de los elementos del dominio.

Veamos cómo se aplica en el contexto deductivo:

• Razonamiento algebraico: Sea c un número entero cualquiera. Si mediante operaciones algebraicas válidas demostramos que 2c genera un múltiplo de 2, como no asumimos ninguna restricción adicional sobre c, concluimos que ∀x (2x es múltiplo de 2).
• Enunciado geométrico: Si consideramos un polígono regular arbitrario c y comprobamos que la suma de sus ángulos exteriores equivale a 360°, generalizamos el resultado afirmando que ∀x (la suma de los ángulos exteriores de un polígono regular x es 360°).

Ejemplificación existencial

La ejemplificación existencial permite asignar un nombre provisional o constante individual c a aquel objeto cuya existencia garantiza una premisa existencial. El formato deductivo de la regla es:

$$\begin{matrix} \exists x \, P(x) \\ \hline \therefore P(c) \end{matrix}$$

La restricción indispensable al aplicar esta regla radica en que la constante c debe ser un símbolo completamente nuevo en la demostración. No puede utilizarse una letra o constante que ya haya aparecido en las premisas o en pasos intermedios, para evitar asumir que dos propiedades independientes coinciden en el mismo individuo.

Analizamos dos situaciones donde opera esta asignación:

• Premisa inicial: Existe un número primo que es par: ∃x (P(x) ∧ E(x)).
  Conclusión: Designamos a ese elemento con una constante no utilizada previamente, k, deduciendo: P(k) ∧ E(k).
• Premisa inicial: Existe un punto del plano que interseca la recta L: ∃x I(x).
  Conclusión: Llamamos provisionalmente p₀ a dicho punto para continuar el desarrollo: I(p₀).

Generalización existencial

La generalización existencial nos autoriza a afirmar que existe al menos un elemento que satisface una propiedad dada si hemos comprobado que dicha propiedad es verdadera para un objeto particular c. Su estructura se define como:

$$\begin{matrix} P(c) \\ \hline \therefore \exists x \, P(x) \end{matrix}$$

A diferencia de la generalización universal, esta regla no exige que el elemento sea arbitrario. La verificación de la propiedad en un único caso concreto basta para validar formalmente el cuantificador existencial sobre el conjunto.

Examinamos los siguientes ejemplos de deducción:

• Premisa: El número 3 verifica la ecuación lineal: 2(3) + 4 = 10.
  Conclusión: Deducimos la existencia de al menos una solución entera: ∃x (2x + 4 = 10).
• Premisa: El número 2 es primo y simultáneamente es un número par: P(2) ∧ E(2).
  Conclusión: Inferimos la proposición existencial: ∃x (P(x) ∧ E(x)).

Ejemplo de deducción formal

Para comprobar la integración entre las reglas de cuantificadores y el cálculo proposicional, desarrollamos la deducción formal del argumento deductivo clásico sobre la mortalidad de los seres vivos.

El argumento se formula en lenguaje natural a través de las siguientes proposiciones:

• Todos los seres humanos son mortales.
• Sócrates es un ser humano.
• Por lo tanto, Sócrates es mortal.

Para formalizar el razonamiento en lógica de primer orden, definimos la constante individual s para representar a Sócrates, el predicado H(x) como «x es un ser humano» y el predicado M(x) como «x es mortal». Con estas definiciones, el conjunto de premisas y la conclusión toman la siguiente forma simbólica:

• Premisa 1: ∀x (H(x) → M(x))
• Premisa 2: H(s)
• Conclusión: M(s)

Para deducir la conclusión combinamos las reglas estudiadas siguiendo esta secuencia ordenada:

1. Escribimos la primera premisa universal: ∀x (H(x) → M(x)).
2. Aplicamos la ejemplificación universal (EU) en el paso 1 utilizando la constante particular s, obteniendo la proposición condicional: H(s) → M(s).
3. Introducimos la segunda premisa del argumento: H(s).
4. Comparamos los pasos 2 y 3. Al disponer del condicional H(s) → M(s) y afirmar su antecedente H(s), aplicamos la regla de modus ponens (MP) para derivar: M(s).

Con este procedimiento demostramos la validez del razonamiento, confirmando que la lógica de predicados permite descomponer la estructura interna de los enunciados y deducir conclusiones que escapan al alcance de la lógica proposicional aislada.

Bibliografía

• Acevedo González, G. (2011). Lógica Matemática. Universidad Nacional Abierta y a Distancia (UNAD).
• Copi, I. y Cohen, C. (2013). Introducción a la Lógica (2da edición). Limusa.
• Corral de Franco, Y. y Manzanares, L. (2018). Nociones Elementales de lógica matemática y teoría de conjuntos. Caracas. Fondo editorial OPSU.
• Garrido, M. (1974). Lógica simbólica (4ta edición). Tecnos.
• Gentile, E. (1984). Notas de Álgebra I. Editorial Universitaria de Buenos Aires.
• Moreno, A. (1969). Lógica matemática: antecedentes y fundamentos. Editorial Universitaria de Buenos Aires.
• Puyau, H. y Roetti, J. (1976). Elementos de Lógica Matemática. Editorial Universitaria de Buenos Aires.