NDICE

Presentacin

CO NCEPTO S PRELIM INARES

1. Gnesis de la lgica 11
2. Esbozo del desarrollo histrico de la lgica 11
3. Qu es la lgica 18
4. Idea de forma lgica 20
5. Divisin de la lgica 22
6. Lgica, pensamiento y lenguaje 22
7. Funciones bsicas del lenguaje 23
8. Falacias 26
9. La definicin 41

EJERCICIO N l : Funciones bsicas del lenguaje 43

EJERCICIO N 2: Falacias 44
EJERCICIO N 3: La definicin 45

PRIMERA PARTE
L G ICA D E PRO POSICIO NES

1. Idea de lgica de proposiciones 47

2. Concepto de proposicin 47
3. Expresiones lingsticas que no son proposiciones 48
4. Clases de proposiciones: atmicas y molecidares 49
5. Clases de proposiciones moleculares: Conjuntivas, disyuntivas, condiciona
les, bicondicionales y negativas. 50

EJERCICIO N 4: Reconocimiento de proposiciones 53

EJERCICIO N 5; Clases de proposiciones 54
EJERCICIO N 6: Clases de proposiciones moleculares 55

EL LEN G U A JE FORM ALIZADO DE LA L G ICA PROPOSICIONAL

1. El lenguaje natural y el lenguaje formalizado 56

2. Variables proposicionales y operadores lgicos 56
 3. Principales notaciones simblicas: Sistemas de Scholz, de Peano-Russeil y de
Lukasiewicz 57
4. Regjias de formacin de frmulas lgicas 59
5. Formaiizacin de proposiciones, 61

EJERCICIO N 7: Formaiizacin de proposiciones 63

LA IN FEREN CIA

1. Concepto de inferencia 65
2. Estructura, de una inferencia 65
3. Clases de inferencias; deductivas e inductivas 66
4. Formaiizacin de inferencias 66

EJERCICIO N 8: Formaiizacin de inferencias 71

FU N CIO N ES VERTTATIVAS Y TABLAS DE VERDAD

1. Definicin tabular de ios operadores lgicos: De la conjuncin, disyuncin

inclusiva, disyuncin exclusiva, condicional, bicondidonal, negacin, nega
cin conjunta y de la negacin alterna 73
_j 2. Definicin tabular de frmulas moleculares complejas 80
3. Clasificacin de frmulas moleculares por su matriz principal: Frmulas
; moleculares tautolgicas (FMT), frmulas moleculares consistentes (FMC)
y frmulas moleculares contradictorias (FMI) 81
f| 4. Implicacin y equivalencia de frmulas: 82

EJERCICIO N 9: Evaluacin de frmulas mediante la tabla de verdad 84

EJERCICIO N 10; Implicacin y equivalencia de frmulas 85
W-
1 ANLISIS D E INFERENCLA.S

1 1.
2.
Anlisis de inferencias a travs del mtodo de la tabla de verdad
Anlisis de inferencias por el mtodo abreviado
87
91

EJERCICIO N 11: Anlisis de inferencias mediante la tabla de verdad

EJERCICIO N 12: Anlisis de inferencias mediante el mtodo abreviado
93
94
i
LO S DIAGRAM AS SEM NTICOS

i 1. Evaluacin de frmulas de la lgica proposidonal a travs de los diagramas

semnticos 96
2. Definicin de los principales operadores lgicos: De la conjuncin, disyun
cin, condicional, bicondicional y de la negacin 96
3. Procedimiento empleado en la evaluacin de frmulas a travs de los diagra
mas semnticos 98

EJERCICIO N" 13: Evaluacin de frmulas mediante los diagramas semnticos 104

6
I-'
I
5- , -

EL M TODO D E LA D ED U CCI N NATURAL

-fS:';--'

1. La deduccin natural como un mtodo sintctico y no algortmico 105

2. Principios lgicos fundamentales 106 |
3. Principales reglas y leyes de la lgica proposicional 107 *'
4. Reglas de reemplazo o equivalencias tautolgicas 109
5. Procedimiento empleado en la evaluacin de frmulas a travs de la deduc
cin natural 111
6. Modalidades de la deduccin natural; La prueba directa (P.D.), la prueba ,
condicional (P.C.) y la prueba por reduccin al absurdo (P.R.A.) 111
7. Ejemplos de demostraciones por las tres modalidades. 114

EJERCICIO N 14: Anlisis de inferencias mediante las reglas lgicas 119

EJERCICIO N 15: Anlisisdeinferendasmedianteelmtododeladeduccin natural 121 fe
EJERCICIO N 16: Evaluacin de frmulas mediante las equivalencias tautolgicas. 123

1.
FORM AS NORM ALES

Concepto de formas normales 131

I
w
2. Clases de formas normales 131 ^
3. Procedimiento para determinar el carcter tautolgico de cualquier frmula I
mediante la forma normal conjuntiva

EJERCICIO N 17: Evaluacin de frmulas mediante las formas normales

133

134
I
^

SEGU N DA PARTE
I
L G ICA D E PREDICADOS

1. Idea de lgica de predicados 137

2. El lenguaje formalizado de la lgica de predicados 138
3. Reglas de formacin de frmulas bien formadas 139
4. Formaiizacin de proposiciones singulares, categricas y complejas 141
5. Reglas de equivalencia entre cuantificadores 143
6. Leyes de oposicin aristotlica 144
7. Demostracin de la validez de las leyes de oposicin aristotlica 144
8. Consecuencias del nuevo enfoque de las leyes de oposicin aristotlica 145
9. El silogismo categrico 145
10. Los modos y figuras del silogismo categrico 146
11. Formas vlidas del silogismo categrico 147
12. Anlisis de silogismos mediante las formas vlidas silogsticas 147
13. Representacin simblica y grfica de las proposiciones categricas median
te el lenguaje booleano y los diagramas de Venn. 149
15. Anlisis de silogismos mediante el lenguaje booleano y los diagramas de
Venn 152

EJERCICIO N 18: Proposiciones y funciones proposicionales 155

EJERCICIO N 19; Las proposiciones categricas 156
 EJERCICIO N 20:Formaiizacin de proposiciones 157
EJERCICIO N 21;Equivalencia de frmulas 158
EJERCICIO N 22:Modos y figuras dei silogismo categrico 159
EJERCICIO N 23; AnKsis de siiogismos mediante ias formas vlidas silogsticas. 159
EJERCICIO N 24:Represeatacin simblica y grfica de las proposiciones ca
tegricas. 160
EJERCICIO N 25: Anlisis de silogismos mediante el lenguaje booleano j los
diagramas de Venn. 161

EL MTODO DE LA DEDUCCIN NATURAL CON FRMULAS

a CUANTIHCADAS
F;
2 1. Reglas de eliminacin y reintroduccin de cuantificadores: Ejemplificacin
universal, ejempiificacin existencial; generalizacin universal y generaliza
cin existendal 162
2. Anlisis de silogismos mediante el mtodo de la deduccin natural 162
a 3. Anlisis de inferencias asilogsticas mediante el mtodo de la deduccin na
% tural 164
4. Distribucin de cuantificadores 168

EJERCICIO N 26; Anlisis de silogismos por el mtodo de la deduccin natural 169

EJERCICIO N 27: Demostracin de formas de inferencia vlidas por mtodo de
la deduccin natural 170

BffiLIOGRAFIA 173

I ;

c i

F
c
r
S
f
ii
la
di
ni

i*