Deducción Natural

 UNIVERSIDAD NACIONAL FEDERICO VILLARREAL
FACULTAD DE PSICOLOGÍA

DEDUCCIÓN NATURAL
Monografía para presentar en la asignatura de Lógica
Lucio, Juan; Paredes, Junior; Quispe, Carol; Salcedo, Marimar y Silva, Raysa

Lima-Perú
2014

Pensamiento




















































.Deducción Natural
Lucio, Juan; Paredes, Junior; Quispe, Carol; Salcedo, Marimar y Silva, Raysa
Universidad Nacional Federico Villarreal
Resumen
La deducción natural surge a partir de 1934 con Gerhard Gentzen, quien la acuñó y la desarrolló como una forma de lógica simbólica. Este tipo de deducción una metodología deductiva formal que se basa en el concepto de deducción. Se presentacomo sistema de reglas formales, las que supuestamente se corresponden con la forma en que intuitivamente los seres humanos realizan deducciones. Existen diversas modalidades de deducción natural, las cuales se clasifican en prueba directa, prueba condicional y prueba de reducción a lo absurdo. Asimismo se mostrarán las reglas de deducción natural, la cual se clasifica en básicas y derivadas.
Enlos estudios de la Psicología del Razonamiento vinculados a la deducción natural se han establecido dos teorías principales: la teoría de las Reglas de las Inferencias Formales y la teoría de los Modelos Mentales.
Palabras claves: deducción natural, deducción, lógica.



Natural deduction
Lucio, Juan; Paredes, Junior; Quispe, Carol; Salcedo, Marimar y Silva, Raysa
University NationalFederico Villarreal
Abstract
The natural inference arises from 1934 to Gerhard Gentzen, who coined and developed as a form of symbolic logic. Such a formal deductive inference methodology based on the concept of deduction. It is presented as a system of formal rules, which supposedly correspond to the way humans intuitively perform deductions. There are various forms of natural deduction, which areclassified as direct evidence, test and test conditional reduction to absurdity. Natural deduction rules are also shown, which is classified into base and derived. In studies of the psychology of reasoning related to natural deduction has established two main theories: the theory of the Rules of Formal Inferences and the theory of mental models.
Key words: natural deduction, deduction, logic.Índice

Pág.
• Carátula
• Pensamientos
• Dedicatoria
• Agradecimientos
• Resumen
• Abstract
• Índice
• Introducción

Capítulo I: Aspectos generales sobre lógica proposicional
1.1. Concepto lógica proposicional
1.2. Formalización
1.3. Conectivas lógicas
1.4. Sistemas formales de lógica proposicional
1.4.1. Sistema axiomático
1.4.2. Deducción natural

Capítulo II: DeducciónNatural
2.1. Definición de deducción
2.2. Historia y concepto de Deducción Natural
2.3. Modalidades de Deducción Natural
2.4. Reglas de Deducción Natural
2.4.1. Reglas básicas
2.4.2. Reglas auxiliares o derivadas

Capítulo III: La Deducción Natural y la Psicología


1.5.
• Conclusiones
• Referencias
I
II
III
IV
V
VI
VII
VIII

2
2
3
4
6
6
7

8
8
8
10
12
1215

19

23
24

Introducción
El presente trabajo monográfico tiene el fin de brindar información amplia y confiable sobre el tema de deducción natural, además del uso del lenguaje en la lógica.
La presente monografía consta de tres capítulos: En el primero se expondrán aspectos generales sobre la lógica proposicional como su concepto y tipos de proposiciones, asimismo, se presentaránaspectos como formalización y conectivas lógicas; otro punto que abordará este capítulo serán sistemas formales de lógica proposicional, que implica sistema axiomático y deducción natural. En el segundo capítulo se puntualizará en la deducción natural, abarcando su definición, historia, modalidades y reglas, esta última siendo clasificada en básicas y derivadas. En el tercer y último capítulo se...