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

Comentario

El silogismo condicional es aquel en que la premisa mayor establece una dependencia entre dos proposiciones categóricas. La menor afirma o niega uno de los miembros y la conclusión afirma o niega el otro.

Consideremos la premisa mayor: la proposición de la que depende la otra se llama antecedente o condición. Aparece normalmente en primer lugar. La que depende y sigue, lógica y gramaticalmente a la vez, se llama consecuente o condicionado.


Existen dos únicos modos formalmente correctos: el modus ponens y el modus tollens:

1) Modus ponens: procede de la posición del antecedente a la posición del consiguiente (y no viceversa).

Si el sol brilla es de día;
el sol brilla;
es de día.

Si no es de día el sol no brilla
no es de día;
el sol no brilla.

2) Modus tollens: procede de la negación del consiguiente a la negación del antecedente (y no viceversa).

Si el sol brilla es de día;
no es de día;
el sol no brilla.

Si no es de día el sol no brilla;
el sol brilla;
es de día.