Silogismo disyuntivo
Silogismo disyuntivo La tautología conocida como silogismo disyuntivo tiene la siguiente forma lógica: [(p y también [(p que, traducido al lenguaje natural sería algo así como si es cierto que la disyunción p o q es verdadera, y además sabemos que no es cierto p, entonces sabemos que q es cierto con seguridad. La definición de la disyunción exige
que para que la disyunción p |
Como muy bien señala Alfredo Deaño en su obra Introducción a la lógica formal, (Ed. Alianza, pg. 111, nota 114), la denominación tradicional de "Silogismo disyuntivo" es incorrecta, ya que, en rigor, no se trata de un silogismo. Deaño propone el nombre de "Inferencia de la alternativa". Nosotros optaremos por dejar avisado al lector, continuando, en lo sucesivo, con la denominación tradicional de "silogismo disyuntivo" por ser de uso más extendido.
Ejemplo:
Si sabemos que es cierto que o bien Raul marcó gol o bien Ronaldo fue quien marcó, y además sabemos que no marcó Raul, entonces es seguro que es cierto que marcó Ronaldo.
Recurriendo a su forma argumental:
Expresado en forma simbólica:
Con la otra tautología [(p |
q)
(¬p)]
q
q