Deduccin Natural

Lic. Csar Orihuela Sols

Determina la conclusin del razonamiento:Se produce la inversin minera en Arequipao ya no hay inversin en el pas, pero no seproduce la inversin minera en Arequipa. Porotro lado si existe seguridad jurdica, hayinversin en el pas

PROPSITO DE LA CLASE

Identifica las caractersticas de cada regla deinferencia a travs de ejemplos noformalizados y formalizados.

DEDUCCIN NATURAL

La deduccin naturalpermite representarciertos razonamientostpicos que desarrollan losseres humanos, para poderluego convertirlas enconstantes lgicas.

Del anlisis de ladeduccin natural, surgenlas llamadas reglas deinferencia.

Reglas de inferencia

Una regla de inferencia se trata de unaimplicacin notable, en donde las premisasimplican a la conclusin.

Se dice que una implicacin es notablecuando se obtiene una tautologa, de modoque la frmula es:

TBA

PRINCIPALES REGLAS DE INFERENCIA

1. MODUS PONENDO PONEMS (MPP).- Dadauna condicional, se tiene que si se afirma elantecedente en la 2da premisa, se concluyeen la afirmacin del consecuente. Elesquema 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 unadisyuncin, si se niega un de los trminos en lapremisa 2, se concluye en la aceptacin deltrmino que qued. Hay dos modos deSilogismo disyuntivo:

PRINCIPALES REGLAS DE INFERENCIA

4. Silogismo hipottico (SH).-Similar a una reglatransitiva, dada una condicional, si en la premisa 2tenemos que el consecuente de la premisa 1 es elantecedente de una nueva condicional; entoncesse concluye en el antecedente de la premisa 1unida al consecuente de la premisa 2. la frmulaqueda as:

PRINCIPALES REGLAS DE INFERENCIA

5. Ley de adicin (LA).- Dada una proposicin sepuede concluir la misma proposicin adicionadacualquier otra proposicin. El esquema quedaas:

PRINCIPALES REGLAS DE INFERENCIA

6. Regla de Adjuncin (A).-Como si se tratara desuma de proposiciones, dada una proposicinen la premisa 1 y otra en la premisa 2, seconcluye en la unin de las dos en unaconjuncin.

PRINCIPALES REGLAS DE INFERENCIA

7. Simplificacin conjuntiva (SC).-Dada unaconjuncin de proposiciones, se puede concluiren cualquiera de las proposiciones que laconforman. El esquema queda as:

PRINCIPALES REGLAS DE INFERENCIA

8. Reduccin al absurdo (RA).-Si en unacondicional, el antecedente est unidad a unacontradiccin; entonces se concluye en la negacindel antecedente.

p

qqpP

)(:1

PRINCIPALES REGLAS DE INFERENCIA

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

PRINCIPALES REGLAS DE INFERENCIA

10. Dilema destructivo (DD).-Dada doscondicionales, si se niegan los consecuentes, seconcluye en la negacin de los antecedentes. Elesquema queda as:

GRACIAS POR SU ATENCIN!