Determina la corrección o incorrección de los siguientes silogismos disyuntivos:

Comentario

El silogismo disyuntivo es aquel cuya premisa mayor establece una disyunción exclusiva, de manera que los dos miembros no pueden ser simultáneamente verdaderos, ni simultáneamente falsos. Ejemplo: "Todo círculo es una curva o una recta; es una curva; luego, no es una recta".

Existen dos modos formalmente válidos de concluir: la premisa menor afirma uno de los dos predicados, y la conclusión niega el otro (modo ponendo-tollens); o la menor niega uno de los predicados, y la conclusión afirma el otro (modo tollendo-ponens: al negar se afirma).

En esquema:




Ejemplos:

O es de día o es de noche;
es de día;
luego no es de noche.

O es de día o es de noche;
es de noche;
luego no es de día.

O es de día o es de noche;
no es de día;
luego es de noche.

O es de día o es de noche;
no es de noche;
luego es de día.