Silogismo disyuntivo

El silogismo disyuntivo es una regla de inferencia elemental dentro de la lógica proposicional y los sistemas de deducción formal. Esta ley establece que, si se parte de una disyunción entre dos proposiciones y se niega una de ellas, se concluye de forma válida y necesaria la afirmación de la otra.

Este esquema deductivo recibe tradicionalmente el nombre latino de modus tollendo ponens, cuya traducción significa «el modo que al negar, afirma». La denominación describe su mecanismo operativo: el descarte o falsación de una de las alternativas legitima la verdad del disyunto restante.

En el lenguaje formal del cálculo proposicional, la regla puede presentarse mediante dos esquemas simétricos según cuál sea el término que se niegue inicialmente. En su formulación horizontal o condicional asociado, se expresa de la siguiente manera:

[(p ∨ q) ∧ ¬p] → q

De forma equivalente, si el término que se niega en la segunda premisa es el segundo disyunto, la estructura adopta la forma:

[(p ∨ q) ∧ ¬q] → p

En las deducciones formales verticales, ambas variantes se estructuran disponiendo las premisas de forma secuencial antes de la línea de derivación:

$$ \begin{array}{cl} p \lor q \\ \neg p \\ \hline \therefore q \end{array} \qquad\qquad \begin{array}{cl} p \lor q \\ \neg q \\ \hline \therefore p \end{array} $$

El fundamento semántico de esta regla reside en la naturaleza de la disyunción lógica inclusiva. Al establecer que la proposición compuesta p ∨ q es verdadera, se garantiza que al menos uno de sus componentes debe serlo. Por lo tanto, si la información posterior anula la viabilidad de uno de ellos (haciéndolo falso), la única vía para preservar la verdad del conjunto es que el otro componente sea verdadero.

Es fundamental no confundir el silogismo disyuntivo con el silogismo hipotético, ya que sus estructuras deductivas y operadores lógicos son completamente diferentes. Mientras que el silogismo hipotético trabaja de forma exclusiva mediante el encadenamiento transitivo de relaciones condicionales de la forma [(p → q) ∧ (q → r)] → (p → r), el silogismo disyuntivo opera a través de la eliminación de alternativas dentro de una disyunción para aislar una conclusión directa.

Ejemplos

Para comprender cómo opera el silogismo disyuntivo en distintos contextos, analizamos a continuación una serie de casos prácticos que van desde situaciones cotidianas hasta demostraciones en aritmética y álgebra.

Ejemplo 1

Premisa 1: La reunión se llevará a cabo por videoconferencia o de forma presencial (p ∨ q).
Premisa 2: La reunión no se llevará a cabo de forma presencial (¬q).
Conclusión: Por lo tanto, la reunión se llevará a cabo por videoconferencia (p).

En este primer caso, partimos de dos escenarios posibles planteados en la disyunción. Al constatar en la segunda premisa la falsedad de la modalidad presencial, descartamos esa opción y deducimos de forma inmediata la modalidad virtual.

Ejemplo 2

Premisa 1: El número entero n es par o es impar (p ∨ q).
Premisa 2: El número entero n no es par (¬p).
Conclusión: Por lo tanto, el número entero n es impar (q).

Aquí aplicamos la regla sobre la clasificación de los números enteros. Dado que la paridad divide exhaustivamente a este conjunto numérico, la negación de una de las alternativas nos obliga a concluir la verdad de la restante.

Ejemplo 3

Premisa 1: En la ecuación a · b = 0, se cumple que a = 0 o b = 0 (p ∨ q).
Premisa 2: El coeficiente a es distinto de cero, es decir, a ≠ 0 (¬p).
Conclusión: Por lo tanto, el valor de b es igual a cero, b = 0 (q).

En el ámbito del álgebra elemental, la propiedad del producto cero establece una disyunción obligada entre los factores. Al fijar la condición de que el primer factor no es nulo, garantizamos lógicamente que la incógnita restante debe anularse.

Ejemplo 4

Premisa 1: Dos rectas coplanares distintas son paralelas o son secantes (p ∨ q).
Premisa 2: Las dos rectas coplanares no son paralelas (¬p).
Conclusión: Por lo tanto, las dos rectas coplanares son secantes (q).

En la geometría euclidiana plana, las posiciones relativas entre dos rectas distintas forman un sistema disyuntivo. Al verificar que las rectas no conservan una distancia constante (no son paralelas), inferimos válidamente que deben intersectarse en un punto.

Ejemplo 5

Premisa 1: La raíz de la función es negativa, nula o positiva (p ∨ (q ∨ r)).
Premisa 2: La raíz de la función no es negativa (¬p).
Premisa 3: La raíz de la función no es nula (¬q).
Conclusión: Por lo tanto, la raíz de la función es positiva (r).

Este último caso muestra la aplicación sucesiva de la regla en disyunciones múltiples. Al aplicar el silogismo disyuntivo con la primera negación reducimos las opciones a q ∨ r, y al contrastar con la siguiente premisa negativa, aislamos de manera concluyente la alternativa r.

Demostración mediante tabla de verdad

Para comprobar la validez universal del silogismo disyuntivo, analizamos el comportamiento semántico de su condicional asociado: [(p ∨ q) ∧ ¬p] → q.

En el cálculo proposicional, una regla de inferencia es formalmente válida si y solo si la estructura condicional que relaciona sus premisas con su conclusión resulta ser una tautología.

Al contar con dos variables proposicionales simples (p y q), evaluamos las 2² = 4 combinaciones posibles de valores de verdad. Construimos la tabla de verdad:

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

Al examinar la última columna, observamos que la proposición compuesta adquiere el valor verdadero (V) en la totalidad de las filas sin excepción.

Notemos que el único escenario donde el conjunto de premisas (p ∨ q) ∧ ¬p es verdadero corresponde a la tercera fila (cuando p es falsa y q es verdadera). En ese caso, la conclusión q también resulta ser verdadera.

No existe ninguna asignación de valores donde las premisas sean simultáneamente verdaderas y la conclusión sea falsa. Por consiguiente, queda demostrado de forma rigurosa que el silogismo disyuntivo es una regla de inferencia formalmente válida.

Silogismo disyuntivo falaz

El silogismo disyuntivo falaz, también conocido como la falacia de afirmación del disyunto, es un error lógico que ocurre cuando se confunde la disyunción inclusiva con una disyunción excluyente.

Esta falacia se produce cuando, a partir de una premisa disyuntiva y la confirmación de la verdad de uno de sus miembros, se pretende deducir incorrectamente que el otro término debe ser necesariamente falso.

En la notación del cálculo proposicional, la fórmula del condicional asociado a este razonamiento inválido se expresa de la siguiente manera:

[(p ∨ q) ∧ p] → ¬q

La causa de esta invalidez radica en el comportamiento semántico del operador disyuntivo ∨. En la lógica clásica, la disyunción es por defecto inclusiva, lo que significa que el enunciado compuesto permanece verdadero incluso cuando ambas proposiciones simples, p y q, son verdaderas al mismo tiempo.

Por este motivo, constatar que la proposición p es verdadera no descarta en absoluto la posibilidad de que q también lo sea. El argumento solo sería formalmente válido si la premisa inicial utilizara de forma explícita una disyunción exclusiva (p ⊻ q), donde la ocurrencia de una alternativa excluye estrictamente a la otra.

Para ilustrar el fallo lógico, analicemos el siguiente caso cotidiano. Supongamos la premisa: «Martín es docente de matemáticas o Martín es programador web» (p ∨ q). Si confirmamos la premisa 2: «Martín es docente de matemáticas» (p), resultaría completamente erróneo concluir que «Por lo tanto, Martín no es programador web» (¬q).

Ambas actividades profesionales no son incompatibles entre sí; Martín puede desempeñar válidamente las dos funciones en paralelo sin contradecir la disyunción original. Por consiguiente, el paso deductivo carece de fuerza lógica.

Si evaluamos esta estructura mediante una tabla de verdad, encontramos de inmediato un contraejemplo en la fila donde tanto p como q son verdaderas (V). En ese caso, la conjunción de las premisas (p ∨ q) ∧ p es verdadera, pero la conclusión ¬q es falsa, dando como resultado una implicación con antecedente verdadero y consecuente falso (V → F ≡ F).

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

Al no resultar en una tautología, queda formalmente demostrado que la afirmación de un disyunto no preserva la verdad y constituye un esquema de inferencia inválido.

Validez formal y la falacia de falsa dicotomía

Al aplicar el silogismo disyuntivo fuera de los sistemas matemáticos puros, es indispensable distinguir entre la validez de la estructura lógica y la verdad material de las premisas involucradas.

Desde el punto de vista sintáctico, la regla es formalmente infalible sin importar el contenido que asignemos a las proposiciones. Sin embargo, para que la conclusión final sea verdadera en la realidad, la premisa disyuntiva p ∨ q debe ser exhaustiva y contemplar todas las posibilidades reales del escenario analizado.

Cuando se formula una disyunción que limita arbitrariamente el abanico de opciones a solo dos alternativas, ignorando la existencia de terceras vías viables, incurrimos en la falacia de falsa dicotomía o falso dilema.

Si alguien argumenta que un proyecto se cancela o se aprueba de inmediato, y luego niega la cancelación para forzar la aprobación, el razonamiento conserva una estructura formal correcta. No obstante, el argumento carece de solidez material si en la práctica existía la opción de posponer la revisión o solicitar modificaciones previas.

En el razonamiento matemático riguroso, esta dificultad se supera garantizando que los disyuntos formen una partición completa del espacio muestral o del conjunto evaluado. Un claro ejemplo de esto ocurre con la propiedad de tricotomía en los números reales, donde para cualquier valor x se cumple de forma necesaria y exhaustiva que x < 0 ∨ x = 0 ∨ x > 0.