Deduccin Natural

Lic. Csar Orihuela Sols

 Determina la conclusin del razonamiento:

Se produce la inversin minera en Arequipa
o ya no hay inversin en el pas, pero no se
produce la inversin minera en Arequipa. Por
otro lado si existe seguridad jurdica, hay
inversin en el pas

PROPSITO DE LA CLASE
Identifica las caractersticas de cada regla de
inferencia a travs de ejemplos no
formalizados y formalizados.

DEDUCCIN NATURAL
La
deduccin
natural
permite
representar
ciertos
razonamientos
tpicos que desarrollan los
seres humanos, para poder
luego
convertirlas
en
constantes lgicas.
Del
anlisis
de
la
deduccin natural, surgen
las llamadas reglas de
inferencia.

Reglas de inferencia
Una regla de inferencia se trata de una
implicacin notable, en donde las premisas
implican a la conclusin.
Se dice que una implicacin es notable
cuando se obtiene una tautologa, de modo
que la frmula es:

AB T

PRINCIPALES REGLAS DE INFERENCIA

1. MODUS PONENDO PONEMS (MPP).- Dada
una condicional, se tiene que si se afirma el
antecedente en la 2da premisa, se concluye
en la afirmacin del consecuente. El
esquema queda as:

PRINCIPALES REGLAS DE INFERENCIA

2. Modus Tolendo Tollens (MTT).-Dada una
condicional al negarse el consecuente, se
concluye en la negacin del antecedente. El
esquema queda as:

PRINCIPALES REGLAS DE INFERENCIA

3. Silogismo disyuntivo (SD)(MTP).-Dada una
disyuncin, si se niega un de los trminos en la
premisa 2, se concluye en la aceptacin del
trmino que qued. Hay dos modos de
Silogismo disyuntivo:

PRINCIPALES REGLAS DE INFERENCIA

4. Silogismo hipottico (SH).-Similar a una regla
transitiva, dada una condicional, si en la premisa 2
tenemos que el consecuente de la premisa 1 es el
antecedente de una nueva condicional; entonces
se concluye en el antecedente de la premisa 1
unida al consecuente de la premisa 2. la frmula
queda as:

PRINCIPALES REGLAS DE INFERENCIA

5. Ley de adicin (LA).- Dada una proposicin se
puede concluir la misma proposicin adicionada
cualquier otra proposicin. El esquema queda
as:

PRINCIPALES REGLAS DE INFERENCIA

6. Regla de Adjuncin (A).-Como si se tratara de
suma de proposiciones, dada una proposicin
en la premisa 1 y otra en la premisa 2, se
concluye en la unin de las dos en una
conjuncin.

PRINCIPALES REGLAS DE INFERENCIA

7. Simplificacin conjuntiva (SC).-Dada una
conjuncin de proposiciones, se puede concluir
en cualquiera de las proposiciones que la
conforman. El esquema queda as:

PRINCIPALES REGLAS DE INFERENCIA

8. Reduccin al absurdo (RA).-Si en una
condicional, el antecedente est unidad a una
contradiccin; entonces se concluye en la negacin
del antecedente.

P1 : p (q q )
p

PRINCIPALES REGLAS DE INFERENCIA

9. Dilema constructivo (DC).-Dada dos
condicionales, si se afirman los antecedentes, se
concluye en la afirmacin de los consecuentes.
El esquema queda as:

PRINCIPALES REGLAS DE INFERENCIA

10. Dilema destructivo (DD).-Dada dos
condicionales, si se niegan los consecuentes, se
concluye en la negacin de los antecedentes. El
esquema queda as:

GRACIAS POR SU ATENCIN!