MODUS TOLLENDO TOLLEN Y MODUS PONENDO PONEN

SILOGISMO HIPOTETICO

REGLAS DE INFERENCIA: El MODO PONENDO PONEN Y TOLLENDO TOLLEN

son clasificados como reglas de inferencia, que son utilizadas continuamente en el
lenguaje natural. Las usamos para obtener conclusiones que consideramos
normalmente vlidas.

MODUS TOLLENDO TOLLENS

El modus tollendo tollens (En latn negando niega), tambin llamado modus
tollens y generalmente abreviado MTT o MT es una regla de inferencia que tiene la
siguiente forma:

Esta regla de inferencia dice que si una implicacin es verdadera y su

consecuente es falso, entonces su antecedente ser necesariamente falso;
Simblicamente se expresa as:
Esta regla de inferencia dice que si una implicacin es verdadera y su
consecuente es falso, entonces su antecedente ser necesariamente falso;
simblicamente se expresa asi:

EXPLICACIN Y EJEMPLO

Premisa 1:
Si un ngulo de un tringulo es mayor de 90, entonces la suma delos otros dos
ngulos es menor de 90 grados.
Premisa 2:
La suma de los otros dos ngulos no es menor de 90 grados.
Conclusin
Un ngulo de un tringulo no es mayor de 90 grados

SOLUCION

Simblicamente:
p: Un ngulo de un tringulo es mayor de 90.
q: La suma de los otros dos ngulos es menor de 90.
Premisa 1:
Premisa 2:
Conclusin:

MODUS PONENDO PONENS

Tambin 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 podra ser:

Si esta soleado, entonces es de da.

Esta soleado.
Por lo tanto, es de da.
Otra manera ms formal de presentar el modus ponens es:

Y aun otra manera es a travs de la notacin del clculo de secuentes:

SILOGISMO HIPOTTICO
El silogismo hipottico es denominado tipo o regla de inferencia que en su
expresin plantea un caso hipottico, por lo cual puede tener trminos validos o
no. En la lgica proporcional un silogismo hipottico puede expresar una regla de
inferencia, mientras que en la historia de la lgica los silogismos hipotticos han
sido una antelacin de la teora de las consecuencias.

Abreviatura del silogismo hipotetico

La ley aplicada a estas condicionales como

premisas se denomina Ley del silogismo
hipottico (S.H.)
Silogismo hipottico: se compone de dos premisas condicionales.
La primera es una condicional y la segunda tiene como antecedente al
consecuente de la primera premisa y la conclusin se forma con el antecedente de
la segunda premisa.

1 premisa: P -----> Q
2 premisa: Q ----> R
Conclusin: P---> R.

Premisa 1: Si hace calor, entonces Juana va a nadar

Premisa 2: Si Juana va a nadar, entonces arregla la casa despus de comer.
Se puede concluir: Si hace calor, entonces arregla la casa despus de comer

Para simbolizar el razonamiento ser:

D Hace calor
S Juana va a nadar
H Arregla la casa despus de comer

Entonces: D S
SH
DH (Conclusin)