lenguaje

Apuntes de Curso, No. 1 — 2014
ISBN XXXXXXXX

Deduccion
´ natural:
Fundamentos de Razonamiento Logico
´
Juan Mayorga-Zambrano, PhD
Pontificia Universidad Catolica
del Ecuador
´
jmayorga@pucesa.edu.ec

Version
´ preliminar: julio 2014
Resumen

br
an

o,
J.

Se abordan las herramientas del Razonamiento Logico
desde la perspectiva de la Deduccion
´
´ Natural (C´alculoProposicional formalizado por Gentzen y Jaskowsky). A partir de un conjunto b´asico de Principios y Reglas
de Argumentacion
y se presentan
´ b´asicas se derivan las Reglas Derivadas, el concepto de Equivalencia Logica
´
los M´etodos de Argumentacion
´ o Razonamiento. La construccion
´ del conocimiento se apoya con un volumen
apropiado de ejemplos de diferentes a´ mbitos.

Topicos
´

2am

1. Introduccion
´

3
3
4
5

ay
or

3. Principios de la Logica
´

ga

-Z

2. Conceptos b´asicos
2.1. Definiciones de proposicion
´ y declaracion
´ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. Solidez y validez de un razonamiento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4. Conectores y operadores logicos
´

10.
.
.
.
.
.
.
.

11
11
12
13
13
15
16
16
18

6. Falacias
6.1. Falacia de la Afirmacion
´ del Antecedente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2. Falacia de la Negacion
´ del Consecuente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

19
19
19

7. Conectores logicos
´
derivados
7.1. Bicondicional . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.2. Disyuncion
´ Exclusiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.3. Conjuncion
´ Negativa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

20
20
21
21

M

5. Reglas de Inferencia Fundamentales
5.1. Introduccion´ de la conjuncion
´ . . . . . . . . . . . . .
5.2. Eliminacion
. . . . . . . . . . . . .
´ de la conjuncion
´
5.3. Introduccion
´ del condicional . . . . . . . . . . . . . .
5.4. Eliminacion
´ del condicional (Modus Ponens) . . . .
5.5. Introduccion
´ de la disyuncion
´ . . . . . . . . . . . . .
5.6. Eliminacion
´ de la disyuncion
´ (Dilema) . . . . . . . .
5.7. Introduccion
´de la negacion
´ (Reduccion
´ al Absurdo)
5.8. Eliminacion
´ de la Negacion
´ . . . . . . . . . . . . . .

1

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
..

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

8.Reglas de Inferencia Derivadas
8.1. Silogismo Hipot´etico . . . . . . . . . . . . . . . . . . . . . .
8.2. Mutacion
´ de las Premisas . . . . . . . . . . . . . . . . . . .
8.3. Conmutatividad y Asociatividad de la Conjuncion
´ . . . . .
8.4. Introduccion
´ de la Doble Negacion
´ . . . . . . . . . . . . . .
8.5. Principio del Tercer Excluido y Principio de Contradiccion
´
8.6. ModusTollens y Contrapositiva . . . . . . . . . . . . . . . .
8.7. Carga de Premisa . . . . . . . . . . . . . . . . . . . . . . . .
8.8. Inferencia Alternativa . . . . . . . . . . . . . . . . . . . . . .
8.9. Silogismo Disyuntivo . . . . . . . . . . . . . . . . . . . . . .
8.10. Dilema Destructivo . . . . . . . . . . . . . . . . . . . . . . .
8.11. Conmutatividad y Asociatividad de la Disyuncion
´ ....