Definicin de Silogismo Disyuntivo

No obstante, no se puede hablar de un solo tipo de Silogismo,

distinguindose diferentes modos de silogismo, segn las relaciones lgico-
matemticas que planteen, as como la forma en la que se logre la inferencia
de su conclusin. Una clase de Silogismo, bastante conocido es el Silogismo
Disyuntivo, el cual plantea una inferencia a travs de un proceso de disyuncin
exclusiva, en base a dos premisas que se excluyen y que no pueden ser
ciertas al mismo tiempo, e incluso tampoco pueden ser falsas
simultneamente, por lo que el Silogismo Disyuntivo marca dos premisas
donde obligatoriamente una debe ser falsa y la otra verdadera.
Modos de Silogismo Disyuntivo
As tambin, la Filosofa ha planteado, en cuanto a este tipo de razonamiento
lgico, que existe dos modos de inferir a travs del Silogismo
Disyuntivo, resultando las dos formas igual de vlidas. En este sentido,
resulta pertinente entonces resear brevemente cada uno de estas formas
de inferir a travs del proceso de esta clase de razonamiento:
Modo ponendo-tollens: en este tipo de Silogismo Disyuntivo, la Premisa
Menor se encarga de afirmar uno de los dos predicados, mientras que la
conclusin o inferencia se encarga de negar el otro. Este tipo o modo de
Silogismo Disyuntivo respondera entonces al siguiente esquema lgico:
Premisa Mayor: A es B o A es C
Premisa Menor: A es B
Conclusin: Entonces A no es C
Modo tollendo-ponens: por otro lado, tambin se puede dar el caso de
Silogismos Disyuntivos en los cuales la Premisa Menor se encargue de negar
alguno de los dos predicados, siendo la conclusin o inferencia la cual
cumpla con la tarea de afirmar el predicado que resulta verdadero, una
forma de afirmar negando. Con respecto a este modo de Silogismo
Disyuntivo se tiene entonces el siguiente esquema lgico:
Premisa Mayor: A es B o A es C
Premisa Menor: A no es C
Conclusin: Entonces A es B

Ejemplos de Silogismo Disyuntivo

Revisado el concepto de Silogismo Disyuntivo, y examinados igualmente los
dos modos de expresar formalmente este tipo de razonamiento que muestra
la forma de obtener una inferencia o conclusin a dos nociones que se
excluyen mutuamente, es decir, que no pueden resultar ni verdaderas ni falsas
simultneamente, resulta necesario igualmente exponer algunos ejemplos en
base a este tipo de razonamiento lgico. A continuacin, entonces, algunos
ejemplos de Silogismo Disyuntivo:
Ejemplo 1 (modo ponendo-tollens)
Premisa Mayor: O naci nio o naci nia
Premisa Menor: Naci nia
Conclusin: Entonces, no naci nio
Ejemplo 2 (modo tollendo-ponens)
Premisa Mayor: O es de da o es de noche
Premisa Menor: No es de noche
Conclusin: Entonces, es de Da
Ejemplo 3 (modo ponendo-tollens)
Premisa Mayor: O ganaron Los Medias Blancas o ganaron Los Medias Rojas
Premisa Menor: Ganaron Los Medias Blancas
Conclusin: Entonces, no ganaron Los Medias Rojas
Ejemplo 4 (modo tollendo-ponens)
Premisa Mayor: O tomo agua o tengo sed
Premisa Menor: Tomo agua
Conclusin: Entonces, no tengo sed
Imagen: elpensante.com
- See more at: https://educacion.elpensante.com/ejemplo-de-silogismo-
disyuntivo/#sthash.9PR2keNC.dpuf

Silogismo hipottico
Reglas de transformacin

Lgica proposicional

Reglas de inferencia
 Modus tollendo tollens / ponens

Modus ponendo ponens / tollens

Introduccin del bicondicional / eliminacin

Introduccin de la conjuncin / eliminacin

Introduccin de la disyuncin / eliminacin

Silogismo disyuntivo / hipottico

Dilema constructivo / destructivo

Absorcin

Reglas de reemplazo

Asociatividad

Conmutatividad

Distributividad

Doble negacin

Leyes de De Morgan

Transposicin

Implicacin material

Exportacin

Tautologa

Introduccin de la negacin

Lgica predicativa

Generalizacin / instanciacin universal

Generalizacin / instanciacin existencial

Lgica modal

En lgica clsica, el silogismo hipottico es una forma de argumento vlido que consiste en
un silogismo con una sentencia condicional para una o ambas de sus premisas. En la lgica
proposicional, el silogismo hipottico es una regla de inferencia vlida (llamado
tambin argumento cadena, regla de cadena, o el principio de transitividad de la
implicacin, y a veces abreviado SH).
El silogismo hipottico se puede escribir formalmente como:
 donde la regla es que cada vez que las instancias de " "y" " aparecen en las

lneas de demostracin, " " se puede colocar en una lnea posterior.

Un ejemplo de silogismo hipottico es:
Si no me despierto, entonces no voy a ir a trabajar.
Si no voy a trabajar, entonces no me pagan mi sueldo.
Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.
El silogismo hipottico est estrechamente relacionado al silogismo
disyuntivo, ya que tambin es un tipo de silogismo, y tambin es el nombre de
una regla de inferencia.
Es interesante resaltar que el silogismo hipottico es una de las reglas
de lgica clsica, que no siempre es aceptado en ciertos sistemas de lgica
no clsica.
https://es.wikipedia.org/wiki/Silogismo_hipot%C3%A9tico