metodologia

L´ogica, Conjuntos y N´umeros
Carlos Uzc´ategui Aylwin
Departamento de Matem´aticas
Facultad de Ciencias
Universidad de Los Andes
uzca@ula.ve
Versi´on: Marzo 2011

ii

´Indice general
Pr´
ologo
1. L´
ogica Simb´
olica
1.1. Proposiciones y tablas de verdad
1.1.1. Conectivos l´ogicos . . . . .
1.1.2. Tablas de verdad . . . . .
1.1.3. Otras expresiones formales
1.2. C´alculoproposicional . . . . . . .
1.2.1. Implicaci´on l´ogica . . . . .
1.2.2. Razonamientos v´alidos . .
1.2.3. Falacias . . . . . . . . . .
1.2.4. Equivalencia l´ogica . . . .

V

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
..
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

2. Conjuntos
2.1. Nociones b´asicas . . . . . . . . . . . . . . . . . . . .
2.1.1. Definiciones por comprensi´on y por extensi´on
2.1.2. Igualdad de conjuntos. . . . . . . . . . . . . .
2.1.3. El conjunto vac´ıo . . . . . . . . . . . . . . . .
2.1.4. Subconjuntos . . . . . . . . . . . . . . .. . .
2.1.5. El conjunto potencia . . . . . . . . . . . . . .
2.1.6. Las operaciones elementales . . . . . . . . . .
2.1.7. Diagramas de Venn . . . . . . . . . . . . . . .
2.2. La l´ogica y las operaciones sobre conjuntos . . . . . .
2.2.1. Cuantificadores . . . . . . . . . . . . . . . . .
2.3. Propiedades de las operaciones entre conjuntos . . . .
2.3.1. Algunas propiedades de la relaci´on⊆ . . . . .
2.3.2. Uni´on e intersecci´on . . . . . . . . . . . . . .
2.3.3. Complementaci´on . . . . . . . . . . . . . . . .
2.3.4. Diferencia sim´etrica . . . . . . . . . . . . . . .
2.3.5. Contraejemplos . . . . . . . . . . . . . . . . .
2.4. L´ogica y ´algebra Booleana (continuaci´on) . . . . . . .
2.4.1. Silogismos categ´oricos . . . . . . . . . . . . .
2.5. Demostraciones . . . . . .. . . . . . . . . . . . . . .
iii

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

1
2
3
8
14
15
15
18
25
26

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

3333
34
38
39
39
40
42
45
50
51
59
59
62
67
68
70
74
75
80

2.5.1. Afirmaciones condicionales . . . . . . . .
2.5.2. Afirmaciones universales . . . . . . . . .
2.5.3. Demostraciones por reducci´on al absurdo
2.5.4. Demostraciones de igualdades . . . . . .
2.5.5. Resumen . . . . . . . . . . . . . . . . . .
2.6. Ejercicios suplementarios del cap´ıtulo 2 . . . . .

.
.
..
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

80
81
81
82
83
84

3. El Principio de Inducci´
on Matem´
atica
3.1. El principio de buena ordenaci´on . . . . . . . . . . . .
3.1.1....