SILOGISMO DISYUNTIVO

En lógica, el silogismo disyuntivo es una forma válida de argumento:

es el caso que A, o es el caso que B

No A

Por lo tanto, B

o exclusivo:

O es el caso que A, o es el caso que B

No A

Por lo tanto, B

Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivo exclusivo podría ser:

O es de día o es de noche.

No es de día.

Por lo tanto, es de noche.

Otra manera de presentar el silogismo disyuntivo es:

Tomado de : http://es.wikipedia.org/wiki/Silogismo_disyuntivo

Silogismo hipotético

En lógica se denomina silogismo hipotético a aquel tipo de silogismo o más bien
regla de inferencia que en su expresión plantea un caso hipotético, por lo cual puede tener
términos válidos o no. En la lógica proposicional un silogismo hipotético puede expresar una
regla de inferencia, mientras que en la historia de la lógica los silogismos hipotéticos han sido
una antelación de la teoría de las consecuencias.

[editar]En lógica proposicional

El silogismo categórico (abreviado S.P.) es un argumento válido si sigue la siguiente 
forma argumental:

P → Q.

Q → R.

Entonces (ergo), P → R.

Modus ponendo tollens

En lógica, el modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice:

O bien A, o bien B

A

Por lo tanto, no B

Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser:

O bien es de día, o bien es de noche.

Es de día.

Por lo tanto, no es de noche.

Otra manera de presentar el modus ponendo tollens es:

Tomado de: 

http://es.wikipedia.org/wiki/Modus_ponendo_tollens

MODUS TOLLENDO TOLLENS

Modus tollendo tollens

En lógica, el modus tollendo tollens (en latín, modo que negando niega), también llamado modus tollens y

 generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma:

si A entonces B

No B

Por lo tanto, no A

Por ejemplo, un razonamiento que sigue la forma del modus tollens podría ser:

si está soleado entonces es de día.

No es de día.

Por lo tanto, no está soleado.

Otra manera de presentar el modus tollens es:

A →B                                               
­^­­­­­­­­­­­­­­­­­­­­­­­­­­­­­­­­    ­~B       

~A

MODUS PONENDO PONENS



En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus
ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:

Si A, entonces B

A

Por lo tanto, B

Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:

Si está soleado, entonces es de día.

Está soleado.

Por lo tanto, es de día.

Si deseas ampliar la información entra a: http://es.wikipedia.org/wiki/Modus_ponendo_ponens