¿Qué es la Inferencia Lógica?

Tabla de contenido

Para derivar conclusiones a partir de premisas conocidas, haremos uso de las reglas de inferencia lógica, herramientas fundamentales que garantizan que si las premisas son verdaderas, la conclusión también lo será.

En esta guía aprenderás las principales reglas de inferencia, desde el clásico Modus Ponens hasta los dilemas constructivos, con ejemplos paso a paso.

¿Qué es la Inferencia Lógica?

La inferencia lógica es el proceso de obtener conclusiones válidas a partir de un conjunto de premisas, siguiendo reglas que garantizan la validez del razonamiento.

Definición Formal

Una regla de inferencia es una forma de argumento válida que permite derivar una conclusión a partir de premisas. Si las premisas son verdaderas, la conclusión necesariamente será verdadera.

Notación

Usamos el símbolo ⊢ (llamado «torniquete» o «turnstile») para indicar «se deriva» o «se concluye»:

Notación	Significado
p, q ⊢ r	De p y q se deriva r
Γ ⊢ φ	Del conjunto Γ se deriva φ

Nota sobre la coma: En la notación de inferencia, la coma significa «Y» o «junto con». Así, «p, q ⊢ r» se lee: «De p y q, se deriva r».

Diferencia: Equivalencia vs Inferencia

Es importante no confundir estos conceptos:

Concepto	Símbolo	Significado
Equivalencia	≡	Las expresiones tienen el MISMO valor de verdad (son intercambiables)
Inferencia	⊢	De las premisas se DERIVA la conclusión (relación de consecuencia, no siempre son intercambiables)

Ejemplo de la diferencia:

Equivalencia: p → q ≡ ¬p ∨ q (son lo mismo, se pueden intercambiar)
Inferencia: (p → q), p ⊢ q (de las dos premisas juntas se concluye q)

Diferencia: Condicional vs Implicación

Así como diferenciamos el bicondicional (↔) del símbolo de equivalencia (≡), también debemos distinguir entre:

Concepto	Símbolo	Tipo	Valor de verdad
Condicional	→	Conectivo lógico	Puede ser V o F (depende de p y q)
Implicación	⇒	Tautología	Siempre V

El Condicional (→)

Es un conectivo lógico que forma proposiciones compuestas. Su valor de verdad depende de los valores de p y q:

p	q	p → q
V	V	V
V	F	F
F	V	V
F	F	V

Ejemplo: «Si llueve, me mojo» puede ser verdadero o falso dependiendo de la situación.

La Implicación (⇒)

Es una relación tautológica entre proposiciones. Decimos que p implica q (p ⇒ q) cuando el condicional p → q es una tautología (siempre verdadero).

Ejemplo: Las reglas de inferencia son implicaciones:

p ⇒ q significa que [(p → q) es tautología]

Modus Ponens: [(p → q) ∧ p] ⇒ q (siempre verdadero)
Silogismo Hipotético: [(p → q) ∧ (q → r)] ⇒ (p → r) (siempre verdadero)

Analogía con Equivalencia

Relación	Conectivo	Tautología
Si…entonces	→ (condicional)	⇒ (implicación)
Si y solo si	↔ (bicondicional)	≡ (equivalencia)

En resumen:

Usamos → dentro de las fórmulas como conectivo
Usamos ⇒ para indicar que una fórmula implica lógicamente a otra (la relación es una tautología)

¿Y el símbolo ⊢?

El símbolo ⊢ (torniquete) es similar a ⇒, pero con un matiz distinto:

Símbolo	Nombre	Enfoque
⇒	Implicación	Semántico – «Es una tautología» (verdad por valores de verdad)
⊢	Derivabilidad	Sintáctico – «Es demostrable» (existe una prueba formal)

En lógica proposicional clásica, ambos coinciden: todo lo demostrable es verdadero y viceversa. Por eso, para efectos prácticos, puedes considerarlos equivalentes en este contexto. Digamos que por cuestiones operacionales, tecnicamente son lo mismo.

Las 4 Reglas Fundamentales

Estas son las reglas de inferencia más importantes y utilizadas.

1. Modus Ponendo Ponens (M.P.P.)

El Modus Ponens (del latín «el modo que, al afirmar, afirma») es quizás la regla de inferencia más fundamental.

Fórmula

p → q    (Si p, entonces q)
p        (p es verdadero)
─────
∴ q      (Por lo tanto, q)

En palabras

Si tenemos un condicional y afirmamos el antecedente, podemos concluir el consecuente.

Ejemplos

Ejemplo 1:

Premisa 1: Si llueve, me mojo
Premisa 2: Llueve
Conclusión: Me mojo ✓

Ejemplo 2:

Premisa 1: Si estudias, apruebas el examen
Premisa 2: Estudias
Conclusión: Apruebas el examen ✓

Ejemplo 3 (con variables):

Premisa 1: p → (q ∨ r)
Premisa 2: p
Conclusión: q ∨ r ✓

Entonces

El condicional p → q solo es falso cuando p es V y q es F. Pero en Modus Ponens, si sabemos que p → q es verdadero y p es verdadero, entonces q DEBE ser verdadero (de lo contrario, el condicional sería falso).

2. Modus Tollendo Tollens (M.T.T.)

El Modus Tollens (del latín «el modo que, al negar, niega») trabaja con la negación del consecuente.

Fórmula

p → q    (Si p, entonces q)
¬q       (q es falso)
─────
∴ ¬p     (Por lo tanto, p es falso)

En palabras

Si tenemos un condicional y negamos el consecuente, podemos concluir la negación del antecedente.

Ejemplos

Ejemplo 1:

Premisa 1: Si llueve, la calle está mojada
Premisa 2: La calle NO está mojada
Conclusión: NO llueve ✓

Ejemplo 2:

Premisa 1: Si el motor funciona, el carro enciende
Premisa 2: El carro NO enciende
Conclusión: El motor NO funciona ✓

Ejemplo 3 (con variables):

Premisa 1: (p ∧ q) → r
Premisa 2: ¬r
Conclusión: ¬(p ∧ q) ✓

Relación con la Contraposición

El Modus Tollens es una aplicación de la ley de contraposición:

p → q ≡ ¬q → ¬p

Si ¬q es verdadero y ¬q → ¬p es equivalente a p → q, entonces ¬p debe ser verdadero.

3. Silogismo Hipotético (S.H.)

El Silogismo Hipotético permite encadenar condicionales como eslabones de una cadena.

Fórmula

p → q    (Si p, entonces q)
q → r    (Si q, entonces r)
─────
∴ p → r  (Por lo tanto, si p, entonces r)

En palabras

Si p implica q, y q implica r, entonces p implica r (transitividad).

Ejemplos

Ejemplo 1:

Premisa 1: Si no estudio, no apruebo
Premisa 2: Si no apruebo, repito el curso
Conclusión: Si no estudio, repito el curso ✓

Ejemplo 2:

Premisa 1: Si llueve, las calles se mojan
Premisa 2: Si las calles se mojan, hay riesgo de accidentes
Conclusión: Si llueve, hay riesgo de accidentes ✓

Ejemplo 3 (encadenamiento largo):

p → q
q → r
r → s
Conclusión: p → s ✓

Analogía

Es como una cadena de dominó: si el primero empuja al segundo, y el segundo al tercero, entonces el primero empuja al tercero.

4. Silogismo Disyuntivo (S.D.) / Modus Tollendo Ponens (M.T.P.)

El Silogismo Disyuntivo trabaja con la disyunción y la negación de una de las opciones.

Fórmula

p ∨ q    (p o q)
¬p       (p es falso)
─────
∴ q      (Por lo tanto, q)

En palabras

Si tenemos una disyunción y negamos una alternativa, podemos concluir la otra.

Ejemplos

Ejemplo 1:

Premisa 1: Voy al cine o me quedo en casa
Premisa 2: NO voy al cine
Conclusión: Me quedo en casa ✓

Ejemplo 2:

Premisa 1: El sospechoso es Juan o es Pedro
Premisa 2: NO es Juan
Conclusión: Es Pedro ✓

Ejemplo 3 (con variables):

Premisa 1: (p ∧ q) ∨ r
Premisa 2: ¬(p ∧ q)
Conclusión: r ✓

Variante

También funciona negando la otra alternativa:

p ∨ q
¬q
─────
∴ p

Reglas de Construcción

Estas reglas permiten construir proposiciones más complejas a partir de otras más simples.

5. Simplificación (Simp.)

De una conjunción podemos extraer cualquiera de sus componentes.

Fórmula

p ∧ q
─────
∴ p     (o también ∴ q)

Ejemplo

Premisa: Juan es alto Y es delgado
Conclusión: Juan es alto ✓
Conclusión: Juan es delgado ✓

6. Adición (Ad.)

De cualquier proposición verdadera podemos formar una disyunción.

Formula

p
─────
∴ p ∨ q   (para cualquier q)

Ejemplo

Premisa: Hoy es lunes
Conclusión: Hoy es lunes O mañana llueve ✓

Nota: Esto puede parecer extraño, pero es lógicamente válido. Si sabemos que p es verdadera, entonces «p o cualquier cosa» también es verdadera.

7. Conjunción (Conj.)

Dos proposiciones verdaderas pueden unirse en una conjunción.

Fórmula

p
q
─────
∴ p ∧ q

Ejemplo

Premisa 1: María es doctora
Premisa 2: María es madre
Conclusión: María es doctora Y madre ✓

Los Dilemas

Los dilemas son formas de argumento que involucran múltiples condicionales y una disyunción.

8. Dilema Constructivo Simple (D.C.S.)

Ambos condicionales tienen el mismo consecuente.

Fórmula

(p → q)      Si p, entonces q
(r → q)      Si r, entonces q  (mismo consecuente)
p ∨ r        p o r
─────────
∴ q          Por lo tanto, q

En palabras

Si dos caminos diferentes llevan al mismo destino, y tomamos uno de ellos, llegamos a ese destino.

Ejemplo

Si estudio (p), apruebo el examen (q)
Si tengo suerte (r), apruebo el examen (q)
Estudio O tengo suerte
Conclusión: Apruebo el examen ✓

9. Dilema Constructivo Complejo (D.C.C.)

Los condicionales tienen consecuentes diferentes.

Fórmula

(p → q)      Si p, entonces q
(r → s)      Si r, entonces s  (diferente consecuente)
p ∨ r        p o r
─────────
∴ q ∨ s      Por lo tanto, q o s

En palabras

Si tenemos dos condicionales con diferentes consecuentes, y al menos un antecedente es verdadero, entonces al menos un consecuente es verdadero.

Ejemplo

Si gano la lotería, compro una casa
Si heredo dinero, compro un carro
Ganaré la lotería O heredaré dinero
Conclusión: Compraré una casa O un carro ✓

Variante: Prueba por Casos (Tercero Excluido)

Caso especial donde los antecedentes son complementarios (p y ¬p).

Fórmula

(p → q)      Si p, entonces q
(¬p → q)     Si NO p, entonces q
─────────
∴ q          Por lo tanto, q

Fundamento

Se basa en el Principio del Tercero Excluido: p ∨ ¬p (p es verdadero O p es falso, no hay tercera opción). Como en ambos casos llegamos a q, entonces q es inevitable.

Ejemplo

Si llueve (p), me quedo en casa (q)
Si NO llueve (¬p), también me quedo en casa (estoy enfermo) (q)
Conclusión: Me quedo en casa ✓ (pase lo que pase)

10. Dilema Destructivo Simple (D.D.S.)

Ambos condicionales tienen el mismo antecedente, pero diferentes consecuentes.

Fórmula

(p → q)       Si p, entonces q
(p → r)       Si p, entonces r  (mismo antecedente)
¬q ∨ ¬r       NO q o NO r
───────────
∴ ¬p          Por lo tanto, NO p

En palabras

Si el mismo antecedente lleva a dos consecuentes diferentes, y al menos uno de esos consecuentes es falso, entonces el antecedente es falso.

Ejemplo

Si estudio (p), saco buenas notas (q)
Si estudio (p), aprendo mucho (r)
NO saco buenas notas O NO aprendo mucho
Conclusión: NO estudié ✓

11. Dilema Destructivo Complejo (D.D.C.)

Los condicionales tienen diferentes antecedentes y diferentes consecuentes.

Fórmula

(p → q)       Si p, entonces q
(r → s)       Si r, entonces s  (diferente antecedente)
¬q ∨ ¬s       NO q o NO s
───────────
∴ ¬p ∨ ¬r     Por lo tanto, NO p o NO r

En palabras

Si tenemos dos condicionales con antecedentes diferentes, y al menos un consecuente es falso, entonces al menos un antecedente es falso.

Ejemplo

Si Juan fue al cine, vio la película
Si Pedro fue al teatro, vio la obra
Juan NO vio la película O Pedro NO vio la obra
Conclusión: Juan NO fue al cine O Pedro NO fue al teatro ✓

Variante: Reductio ad Absurdum (Reducción al Absurdo)

Caso especial donde el mismo antecedente lleva a consecuentes contradictorios.

Fórmula

(p → q)       Si p, entonces q
(p → ¬q)      Si p, entonces NO q
───────────
∴ ¬p          Por lo tanto, NO p

Fundamento

Si asumir p nos lleva tanto a q como a ¬q (contradicción), entonces p debe ser falso. Es la base del método de demostración por contradicción.

Ejemplo

Si esta teoría es correcta (p), predice el resultado X (q)
Si esta teoría es correcta (p), predice el resultado NO-X (¬q)
Conclusión: La teoría NO es correcta ✓

Otras Reglas Útiles

12. Absorción (Abs.)

Fórmula

p → q
─────
∴ p → (p ∧ q)

Ejemplo

Si llueve, me mojo
Conclusión: Si llueve, (llueve Y me mojo) ✓

13. Resolución (Res.)

Muy usada en sistemas de demostración automática.

Fórmula

p ∨ q
¬p ∨ r
─────
∴ q ∨ r

Ejemplo

Juan es doctor O es ingeniero
Juan NO es doctor O trabaja en hospital
Conclusión: Juan es ingeniero O trabaja en hospital ✓

Tabla Resumen de Reglas de Inferencia

#	Nombre	Forma	Abrev.
1	Modus Ponendo Ponens	p → q, p ⊢ q	M.P.P.
2	Modus Tollendo Tollens	p → q, ¬q ⊢ ¬p	M.T.T.
3	Silogismo Hipotético	p → q, q → r ⊢ p → r	S.H.
4	Silogismo Disyuntivo	p ∨ q, ¬p ⊢ q	S.D.
5	Simplificación	p ∧ q ⊢ p	Simp.
6	Adición	p ⊢ p ∨ q	Ad.
7	Conjunción	p, q ⊢ p ∧ q	Conj.
8	Dilema Constructivo Simple	(p→q), (r→q), p∨r ⊢ q	D.C.S.
9	Dilema Constructivo Complejo	(p→q), (r→s), p∨r ⊢ q∨s	D.C.C.
10	Dilema Destructivo Simple	(p→q), (p→r), ¬q∨¬r ⊢ ¬p	D.D.S.
11	Dilema Destructivo Complejo	(p→q), (r→s), ¬q∨¬s ⊢ ¬p∨¬r	D.D.C.
12	Absorción	p → q ⊢ p → (p ∧ q)	Abs.
13	Resolución	p∨q, ¬p∨r ⊢ q∨r	Res.

Variantes adicionales:

Variante	Forma	Basado en
Prueba por Casos	(p→q), (¬p→q) ⊢ q	Tercero Excluido
Reductio ad Absurdum	(p→q), (p→¬q) ⊢ ¬p	Contradicción

El Método Abreviado (Reducción al Absurdo)

El método abreviado permite verificar la validez de un argumento sin construir la tabla de verdad completa.

¿En qué consiste?

Se basa en el principio de reducción al absurdo: si suponemos que la conclusión es falsa y llegamos a una contradicción, entonces el argumento es válido.

Pasos del Método

Suponer que la conclusión es FALSA
Asumir que todas las premisas son VERDADERAS
Propagar los valores hacia las subexpresiones
Buscar contradicciones:
- Si hay contradicción → El argumento es VÁLIDO
- Si no hay contradicción → El argumento es INVÁLIDO

Ejemplo Paso a Paso

Verificar: [(p → q) ∧ p] → q (Modus Ponens)

Paso 1: Suponemos que el condicional principal es FALSO

Para que → sea F, necesitamos: antecedente V y consecuente F
Entonces: (p → q) ∧ p = V, y q = F

Paso 2: Propagamos

q = F, ya establecido
(p → q) ∧ p = V, entonces ambos componentes son V
p = V, de la conjunción
p → q = V, de la conjunción

Paso 3: Verificamos consistencia

Tenemos: p = V, q = F
Entonces p → q debería ser F (V → F = F)
Pero dijimos que p → q = V

¡CONTRADICCIÓN! ← El argumento es VÁLIDO ✓

Ventajas del Método

Ventaja	Descripción
Rapidez	No necesitas construir toda la tabla
Eficiencia	Con muchas variables, evitar usar tablas mounstruosas.
Simplicidad	Solo buscas una contradicción

Aplicación: Demostraciones Paso a Paso

Las reglas de inferencia se aplican en secuencia para demostrar conclusiones.

Ejemplo 1: Demostración Simple

Tenemos las premisas:

p → q
q → r
p

Demostrar: r

Solución:

Pasos	Proposición	Propiedad a usar
1	p → q	Premisa
2	q → r	Premisa
3	p	Premisa
4	q	Usamos M.P.P. (1, 3)
5	r	Usamos M.P.P. (2, 4) ✓

Ejemplo 2: Con Silogismo Hipotético

Tenemos las siguientes premisas:

p → q
q → r
¬r

Demostrar: ¬p

Solución:

Pasos	Proposición	Propiedad a usar
1	p → q	Premisa
2	q → r	Premisa
3	¬r	Premisa
4	p → r	Usamos S.H. (1, 2)
5	¬p	Usamos M.T.T. (4, 3) ✓

Ejemplo 3: Con Silogismo Disyuntivo

Las premisas siguientes son:

p ∨ q
p → r
¬r

Demostrar: q

Solución:

Pasos	Proposición	Propiedad a usar
1	p ∨ q	Premisa
2	p → r	Premisa
3	¬r	Premisa
4	¬p	Usamos M.T.T. (2, 3)
5	q	Usamos S.D. (1, 4) ✓

Falacias Relacionadas

Es importante conocer los errores comunes que NO son reglas válidas.

Falacia de Afirmación del Consecuente

p → q
q        ← ¡INCORRECTO!
─────
∴ p      ← NO es válido

Ejemplo incorrecto:

Si llueve, la calle está mojada
La calle está mojada
Conclusión: Llueve (¡NO! La calle puede estar mojada por otra razón)

Falacia de Negación del Antecedente

p → q
¬p       ← ¡INCORRECTO!
─────
∴ ¬q     ← NO es válido

Ejemplo incorrecto:

Si voy a la playa, me bronceo
No voy a la playa
Conclusión: NO me bronceo (¡NO! Podría broncearme en una piscina o en el campo)

Ejercicios Prácticos

Ejercicio 1: Identificar la Regla

¿Qué regla de inferencia se aplica en cada caso?

De «p → q» y «¬q», concluir «¬p»
De «p ∨ q» y «¬p», concluir «q»
De «p → q» y «q → r», concluir «p → r»
De «p ∧ q», concluir «p»
De «p» y «q», concluir «p ∧ q»

Ejercicio 2: Demostraciones

Demuestra las siguientes conclusiones usando las reglas de inferencia:

Premisas: p → q, q → r, r → s, p. Conclusión: s
Premisas: p ∨ q, ¬p, q → r. Conclusión: r
Premisas: (p ∧ q) → r, p, q. Conclusión: r

Ejercicio 3: Método Abreviado

Usa el método abreviado para verificar si estos argumentos son válidos:

[(p → q) ∧ (q → r) ∧ p] → r
[(p ∨ q) ∧ ¬p] → q
[(p → q) ∧ q] → p (¿Es válido?)

Respuestas

Respuestas Ejercicio 1

Modus Tollendo Tollens (M.T.T.)
Silogismo Disyuntivo (S.D.)
Silogismo Hipotético (S.H.)
Simplificación (Simp.)
Conjunción (Conj.)

Respuestas Ejercicio 2

1. Demostrar s:

Pasos	Proposición	Regla a usar
1	p → q	Premisa
2	q → r	Premisa
3	r → s	Premisa
4	p	Premisa
5	q	M.P.P. (1, 4)
6	r	M.P.P. (2, 5)
7	s	M.P.P. (3, 6) ✓

2. Demostrar r:

Pasos	Proposición	Regla a usar
1	p ∨ q	Premisa
2	¬p	Premisa
3	q → r	Premisa
4	q	S.D. (1, 2)
5	r	M.P.P. (3, 4) ✓

3. Demostrar r:

Pasos	Proposición	Regla a usar
1	(p ∧ q) → r	Premisa
2	p	Premisa
3	q	Premisa
4	p ∧ q	Conj. (2, 3)
5	r	M.P.P. (1, 4) ✓

Respuestas Ejercicio 3

VÁLIDO – Es el Silogismo Hipotético + Modus Ponens
VÁLIDO – Es el Silogismo Disyuntivo
INVÁLIDO – Es la falacia de afirmación del consecuente

¿Que viene?

En la siguiente publicación aprenderás sobre la demostración matemática y los tipos de demostración.

¿Te resultó útil esta publicación? ¡Déjame un comentario con tus dudas o sugerencias! Y no olvides revisar la próxima entrega de esta serie sobre lógica matemática.