Ce/ mismo autor

álgebra I
A L G E B R A II

Trasformaciones lineales.
Qiagonaiización.

A r m a n d o O. Rojo

Ex Profesor Titular del Departamento

de Matemática, Facultad de Ingeniería,
Universidad de Buenos Aires

Decimoctava edición

1 1 1 1 1 1 1 1
11 mi 11 ELIBRERIA-EDITORIAL
L ATENEO
 512 (075) Rojo, Armando
ROJ Algebra I - 18a. ec. - Buenos Aires: El Ateneo, 1996.
489 p. 2 3 x 16 crn.

I S B N 95Q-02-S204-X

í i, Ti£u¡o • i. Matemática - Enseñanza Secundaria

i

' I PROLOGO

La enseñanza de los contenidos fundam'entales del álgebra actual y el uso de su

peculiar terminología son una realidad en todos los cursos básicos a nivel universitario
Y profesoral. Creo que hay dos razones principales que dan crédito a esa determi-
nación: una asociada al progresa de las ciencias, a la unidad conceptual y, en última
instancia, al mundo de la Inteligencia; la otra vinculada estrechamente a sus aplica-
Advertencia importante: dones en casi todas las disciplinas de interés práctico y de vigencia cotidiana.
No escapan a estas consideraciones las dificultades que se presentan inicia/mente
E l d e r e c h o de p r o p i e d a d de esta obra comprende para s u autor la , ante, lo que es, de alguna manera, nuevo. Precisamente esa constancia me ha movido a
facultad de disponer de ella, publicarla, traducirla, adaptarla o autorizar redactar este texto elemental de álgebra, en el que he procurado desarrollar sus conte-
su traducción y reproducirla en cualquier forma, total o parcialmente, por .. . , \- • j o ¡. • ^ , -i • ,
medios e l é c t r i c o s o m e c á n i c o s , incluyendo fotocopias, grabación
m d
, o
metodologta que estimo apropiada. Se han intercalado ejemplos que,
s c o n u n a

magnetofónica y cuaiquier sistema de almacenamiento de información. además de ilustrar la teoría, hacen posible la adquisición de métodos adecuados de
trabajo. Un detalle que juzgo de interés para los lectores es la respuesta que se da a los
% S ¡ S ^ ^ £ % £ £e s c r u f " d e r e C h
° S P r e C Í t a d
° S
Poemas propuestos, o al menos la sugerencia de pautas para las demostraciones que
figuran en los trabajos prácticos.
L o s infractores s e r á n reprimidos c o n las penas del artículo 172 y Doy testimonio de mi agradecimiento a los amigos que me han ayudado y
concordantes del C ó d i g o Penal (arte. 2 , 9 , 1 0 . 71, 72 ley 11.723). estimulado en esta tarea, y a la Editorial EL ATENEO, cuyo personal no ha escati-
Ousaa hecho e¡ deodsiio que establece la ley N 11.723. 5
mado esfuerzos para resolver las dificultades inherentes a la publicación del texto.
•5 1972,1974, 1975 :'3 y 4" ed.). ¡975, 19?8»6*y7>«d ! 198! !8» y 9* MI.).
J

' 383. 1984, 198¿, <S56. ~$ .$. ' 3 9 1 1092, '994. 1996, "KL A T 6 N S O ' A. "
a
PKSO García S.
LSwfta, B*tórW«inmotwhan» « e r a » [Link]»* " ARMANDO O ROJO
Fundada en 1912 por don Pedro García. ....
Se termina cié imprimir si 21 de junio ae • 396
en impresiones Avellaneda. Manuel Ocantos253,
Avellaneda, provincia de Buenos Aires.
Tirada: 2.000 ejemplares.

I M P R E S O EN LA ARGENTINA
 CONTENIDO

vCanítijln 1 NOCIONES DE LOGICA

1. 2. Proposiciones i
1. 3. Notaciones y conectivos 2
! 4, Operaciones preposicionales 2
1. 5. Condiciones necesarias y suficientes ?
1. 6. Leyes lógicas 8
1. 7. Implicaciones asociadas 11
1. 8. Negación de una implicación 12
1. 9, Razonamiento deductivo válido 13
1.10. Funciones preposicionales 14
1.11. Circuitos lógicos 1-8
Trabajo Práctico I ..22

CONJUNTOS 25
2. 2. Determinación de conjuntos 25
2. 3. Inclusión 30
2. 4. Conjunto de partes 34
2. 5. Complementación 36
2. 6. Intersección 38
2. 7. Unión 42
2. 8. Leyes distributivas 45
2. 9. Leyes de De Morgan 46
2.10. Diferencia 48
2.11. Diferencia simétrica 50
2.12. Producto cartesiano 53
2.13. Operaciones generalizadas 56
2.14. Uniones disjuntas 58
Trabajo Práctico II 60

RELACIONES 64
3. 2. Relaciones binarias 64
3. 3. Representación de relaciones 65
 Capítulo 7. SISTEMAS AXIOMATICOS 208
3. 4. Dominio, imagen, relación inversa 66,
3. 5. Composición de relaciones 68 7. 2. Sistemas axiomáticos 208
3. 6. Relaciones en un conjunto 69 " 7. 3. Algebra de Boole 210
3. 7. Propiedades de las relaciones 71 ' 7. 4, Sistema axiomático de Peano 212
3. 8. Relaciones de equivalencia 77 7. 5. Estructura de monoide 219
3. 9. Relaciones de orden 90 7. 6. Estructura de semignipo 220
Trabajo Práctico 111 98 Trabajo Práctico V I I 223

> Capítulo 4, FUNCIONES 102 Capítulo 8. ESTRUCTURA DE GRUPO 2 25

4. 2, Relaciones funcionales !02 a. 2. Ei concepto de grupo 225
4, 3. Representación de funciones 105 8. 3. Propiedades de los grupos 228
• 4. 4. Clasificación de funciones 110 8. 4. Subgrupos 231
4. 5. Funciones especiales 114 8. 5. Operaciones con subgrupos 235
4. 6. Composición de funciones 117 8. 6. Homornorfismos de grupos 237
4. 7. Funciones inversas 121 8. 7. Núcleo e imagen de un morfismo de grupos 240
4, 8. Imágenes de subconjuntos del dominio 128 8, 8. Relación de equivalencia compatible 247
4. 9. Preimágenes de partes del codominio 131 8. 9. Subgrupos distinguidos 248
4.10. Restricción y extensión de una función 13 7 8.10. Subgrupos normales o invariantes 252
Trabajo Práctico IV 138 8.11. Grupo cociente asociado a un subgrupo 254
8.12. Grupos cíclicos 257
8.13. Traslaciones de un grupo 258
Capítulo 5 LEYES DE COMPOSICION 142
8.14. Grupos finitos 259
5. 2. Leyes de composición interna 142 Trabajo Práctico VIII 261
5. 3. Propiedades y elementos distinguidos 144
5. 4. Homornorfismos 151 Capítulo 9. ESTRUCTURAS DE ANILLO
5. 5. Compatibilidad de una relación de equivalencia con una ley Y DE CUERPO.
interna 154 ENTEROS Y RACIONALES 264
5. 6. Ley de composición externa 158
Trabajo Práctico V 160 9. 2. Estructura de anillo 264
9. 3. Propiedades de los anillos 266
9. 4. Anillo sin divisores de cero 267
Capítulo 6. COORDINABIL1DAD. INDUCCION 9. 5.«Dominio de integridad 272
COMPLETA. COMBINATORIA 162 9, 6. Subanillos e ideales 272
9, 7. Factorización en un anulo 274
6. 2. Conjuntos coordinabas o equipolentes 3 62
9. 8, Anillo ordenado -"ó
6. 3. Conjuntos finitos y numerables 164
9. 9. Estructura de cuerpo 278
6. 4. Inducción completa 167
6. 5. El símbolo de sumatoria 170 9.10. Dominio de integridad de los enteros 280
6. 6. La función factorial 176 9.11. Isomorfismo de los enteros positivos con N 284
9.12. Propiedades del valor absoluto 285
>6. 7. Números combinatorios 177
)9.13. Algoritmo de la división entera 287
46. 8. Potencia de un binomio 179
9.14. Algoritmo de Euclides • 288
-\ 6. 9. Funciones entre intervalos naturales 186
9.15. Números primos 290
^6.10. Combinatoria simple y con repetición ~-197
El cuerpo de los racionales 293
Trabajo Práctico VI 204
 CONTENIDO
7
9.17. Isomorfismo de una parte de Q en Z 298
9 J 8 . Relación de orden eri Q 301 12. 8. Raíces múltiples
9.19. Numerabílidad de Q 301 12. 9. Polinomio derivado y raíces múltiples
Trabajo Práctico IX 303 12.10. Número de raíces de polinomios
12.11. Raíces de polinomios reales
Capítulo Í 0 . NUMEROS REALES 308 12.12. Relaciones entre raíces y coeficientes
^ 1 0 . 2. El número real 308 12.13. Fórmula de Taylor y Método de Horner
10. 3. Operaciones en R 315 Trabajo Práctico X I I
10. 4. Isomorfismo de una parte de R en Q 321
BIBLIOGRAFIA
10. 5. Cuerpo ordenado y completo de los reales 321
10. 6. Cortaduras en Q 321
10. 7. Completitud de R 326 RESPUESTAS A LOS TRABAJOS PRACTICOS
10. 8. Potenciación en R 329
INDICE
10. 9. Logaritmación en R* 333
10.10. Potencia del conjunto R 335
Trabajo Práctico X 338

Capítulo 11. EL CUERPO DE LOS

NUMEROS COMPLEJOS
4
343
11. 2. El número complejo 341
11. 3. Isomorfismo de los complejos reales en los reales 347
1 1 . 4 . Forma binómica de un complejo 347
11. 5. La conjugación en C 349
1 1 . 6 . Módulo de un complejo 351
1 1 . 7 . Raíz cuadrada en C 354
1 1 . 8 . Forma polar o trigonométrica 356
1 1 . 9 . Operaciones en forma polar 358
11.10. Radicación en C 362
11.11. Forma exponencial en C 366
11.12. Logaritmación en C 367
11.13. Exponencial compleja general 369
11.14. Raíces primitivas de la unidad 370
Trabajo Práctico XI 373

Capítulo 12. POLINOMIOS 378

•
12. 2. Anillo de polinomios formales de un anillo 378
12. 3. Anillo de polinomios de un cuerpo 383
12. 4. Divisibilidad en el dominio K [ X ] 384
12. 5. Ideales de K [ X ] " 388
12. 6. Factorización en K [ X ] 389
12. 7. Especialización de X y raíces de polinomios 396
 Capítulo 1

NOCIONES DE LOGICA

1.1. INTRODUCCION

Todo desarrollo matemático exige razonar en forma válida acerca de cosas

trascendentes y particularmente abstractas". Hay que comenzar por eliminar las
ambigüedades del lenguaje ordinario, introduciendo símbolos y conectivos cuyo uso
adecuado descarte las contingencias, aporte claridad y economía de pensamiento. En
este capítulo introducimos el concepto de proposición, las operaciones preposiciona-
les y sus leyes, reglas de inferencia, y la cuantific ación de funciones proporcionales,
cuyo uso estará presente en todo el texto.

1.2. PROPOSICIONES

Consideramos las siguientes oraciones:

1. ¿Quién viene?
2. Deténgase
3. El calor dilata los cuerpos
4. 4 es un número impar
5 Juan ama la música
6, La música es amada por Juan
Se uata de seis oraciones diferentes, ana interrogativa, vtm orden y cuatro-
declarativas. De las dos primeras no podemos decir que sean verdaderas ei falsas;
una pregunta puede formularse o no, y una orden puede ser cumplida o no. En
cambio, de las cuatro últimas, que son declarativas, tiene sentido decir si son
verdaderas o falsas. A éstas las llamamos proposiciones.

Definición
Proposición es toda oración respecto de la cual puede decirse si es verdadera o
falsa.
2 NOCIONES D E L O G I C A OPERACIONES PROPOSICIONALES 3
Es decir, proposición es toda oración declarativa. Toda proposición está asociada Ejemplo 1-1.
a un valor de verdad, el cual puede ser verdadero ( V ) o bien falso (F). Las oraciones
La negación de
(5) y (6) son diferentes desde el punto de vista gramatical; el objeto directo de la
(5) es el sujeto de la (6), pero ambas tienen el mismo significado, y las p: todo hombre es honesto
consideramos como la misma proposición. Podemos decir entonces proposición es el es —p : no todo hombre es honesto
significado de toda oración declarativa. o bien: ~p : no es cierto que todo hombre es honesto
-~p : hay hombres que no son honestos
~-p : existen hombres deshonestos
1.3. NOTACIONES Y CONECTIVOS
la cual es V, ya que la primera es F.
Las proposiciones genéricas son denotadas con las letras p. q, r, etc. A partir de
1.4.2. Conjunción
nrorosjr iones ¡¡imples es posible generar otras, simples n cnmpiipgtgj Fj decir, se
pue-ie operar con proposiciones, y según sean tales operaciones se utilizan ciertos Definición
símbolos, llamados conectivos lógicos.
Conjunción de las proposiciones p y q es la proposición p -- q (p y q). cuya
Conectivo O p e r a c i ó n asociada Significado tabla de valores de verdad es
— Negación no p o no es cierto que p
/ Conjunción o producto lógico P y q p q P a q
v Disyunción o suma lógica p o q (en sentido incluyente) V V V
=» Implicación p implica q o si p, entonces q V F F
•o Doble implicación p si y sólo si q F V F
i Diferencia simétrica p o q (en sentido excluyen te) F F F

La tabla que define la operación establece que la conjunción sólo es verdadera si

1.4. OPERACIONES PROPOSICIONALES lo son las dos proposiciones componentes. En todo otro caso es falsa.

Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas Ejemplo 1-2.
ana o dos proposiciones, cuyos valores de verdad se conocen, se trata de caracterizar
Si declaramos
ia proposición resultante a través de su valor de verdad. Se supone que en la
elección de estos valores se tiene en cuenta el buen sentido. i ) 3 es un número impar y 2 es un número primo
se trata de la conjunción de las proposiciones
1.4.1. Negación \
* p : 3 es un número impar
Definición i¡ : 2 es un número primo
Negación de la proposición p es la proposición ~p (no p), cuya tabla de
y por ser ambas verdaderas, ja proposición compuesta es V.
valores de verdad es
ii) hoy es lunes y mañana es jueves
esta conjunción es F, ya que no coexisten las verdades de p y q.
P ~P
V F
1.4.3. Disyunción
F V
Definición
SÍ trata de una operación unitaria, pues a partir de una proposición se obtiene Disyunción de las proposiciones p y q es la proposición p v q (p o q) cuya
tra, que es su negación. tabla de valores de verdad es
 p <7 P v q
V p «7 P => <7
V V
V F V ' V V V
F V V V F F
F F F F V V
F F V

La conjunción o es utilizada en sentido incluyente, ya que la verdad de la

disyunción se da en el caso de que al menos una de las proposiciones sea V. hn e! Las proposiciones p y q se llaman antecedente y consecuente de la implicación o
lenguaje ordinario la palabra o es utilizada en sentido excluyeme o incluyente. condicional. La implicación usual en matemática es formal en e! sentido de que
La ambigüedad se elimina con la elección dei símbolo adecuado. no es necesario que el consecuente se derive lógicamente del antecedente; cuando,
hn matemática se utiliza la disyunción definida por la tabla precedente la cua! esto ocurre, ia implicación se llama material y queda incluida en la primera.
agota toda posibilidad. Las tablas de valores de verdad se definen arbitrariamente, pero respetando el
La disyunción sólo es F en el caso en que las dos proposiciones componentes sentido común. Enunciamos la siguiente proposición:
sean falsas.
"SI apruebo el examen, ENTONCES te presto el apunte" (1)
Ejemplo 1-3. Se trata de la implicación de las proposiciones
i ) hoy ss lunes o martes
p apruebo el examen
representa la disyunción de las proposiciones p: hoy es lunes y q: hoy es martes, hl
q : te presto el apunte
sentido de Ia conjuncíón'o es exlcuyente, ya que p y q no pueden ser simultánea-
N

mente verdaderas. No obstante, la proposición compuesta puede analizarse a la luz

Interesa inducir la verdad o falsedad de la implicación (1), en términos de la V o
de la tabla propuesta, a través de los tres últimos renglones, y será falsa sólo si las
F de las proposiciones p y q. El enunciado (1) puede pensarse como un
dos lo son.
compromiso, condicionado por p, y podemos asociar su verdad al cumplimiento del
i i ) regalo los libros viejos o que no me sirven compromiso. Es obvio que si p es F, es decir, si no apruebo el examen, quedo
es la disyunción de las proposiciones liberado del compromiso, y preste o no preste ej apunte la proposición (1) es V. Es
decir, si el antecedente es F, la implicación es V.
p : regalo los libros viejos Si p es V, en cuyo caso apruebo el examen, y no presto el apunte, el compromiso
q : regalo los libros que no me sirven no se cumple, y la proposición (1) es entonces F. Si p y q son V, entonces la
implicación es V porque el compromiso se cumple.
El sentido del o es incluyente, pues si en efecto regalo un libro que es viejo, v De este modo, la implicación sólo es falsa cuando el antecedente es V y el
que ademas no me sirve, entoncesp v q es V, consecuente es F.
Ejemplo i-i
nú i es un numero impar o 4 es un número primo
¡ ) st hoy es lunes, entonces mañana es martes
es una propoposición V. pues !a primera es V.
es la implicación de las proposiciones
1.4.4. Implicación o Condicional p : hoy es lunes
Definición q : mañana es martes

Implicación de las proposiciones p y q es la proposición p =* q (p implica q, Como no puede darse antecedente V y consecuente F, la implicaciones V.
si p entonces q) cuya tabla de valores de verdad es ii) 1 = - 1 l 2
= (-1) 2

es V por ser el antecedente F.

 CONDICIONES N E C E S A R I A S V SUFICIENTES 7

1.4.6. Diferencia simétrica

1.4.5. Doble implicación o Incondicional
Definición
Definición
Diferencia simétrica o disyunción excluyente de las proposiciones p y q es la
Doble implicación de las proposiciones p y q es la proposición p H iP si y proposición p * q (p o <?,en sentido excluyente) cuya tabla de valores de
sólo si q), cuya tabla de valores de verdad es verdad es

p 1 pzq
V V F
V V V
V F V
V F F
F V V
F V F
F F F
F F V

La verdad de p s q está caracterizada por la verdad de una y sólo una de las

La doble implicación o bicondicionai sólo as verdadera si ambas proposiciones proposiciones componentes. ,
tienen el mismo valor de verdad. Es claro que p a. q equivale a la negación de p •*» q.
La doble implicación puede definirse como la conjunción de una implicación y su
*e•; ¡'proca. De este modo, la tabla de valores de verdad de p *» q , puede obtenerse
.Tediante la tabla de (p •» q) A ** p), como sigue
1.5. CONDICIONES NECESARIAS Y SUFICIENTES

p Q p =* q q => p iP =* <?) A {q =*• p) Consideramos la tabla de valores de verdad de la implicación

V V V V V
V F F V F
F V V F F V V V
F F V V V V F F
F V V
F F V
¡templo 1-5.
i) T es equilátero si y sólo si T es equiángulo Hay tres casos en que p => q es V, y entre ellos hay uno en que p es V, en el
cual resulta q verdadera Es obvio que nos referimos al primer renglón de la tabla, y
es -a doble implicación de las proposiciones
se tiene que si p =* q es V y p es V, entonces q es V. Se dice entonces que el
p : T es equilátero
:
antecedente p es condición suficiente para el consecuente q.
q : T es equiángulo En cambio, si ¿Pes-F, nada podemos decir de q, puesto que puede ser V ó F. Por
otra parte, cuando p =» q es V, si q es V, entonces p puede ser V o F; mas para
Toda vez que p sea V, también lo es q. y análogamente, si p es F, q es F. De
que p sea V se necesita que q lo sea. Se dice entonces que q ej_condJdónj^ejaxia—
modo que la doble implicación es V, para p.
ii) a = b si y sólo si a = b
2 2

Resumiendo, si p => q es V, entonces p es condición suficiente para q y q es

las proposiciones son condición necesaria para p.
p:a=b Estas condiciones suelen expresarse así:
q : a = b
2 2
q si p (condición suficiente)
la doble implicación propuesta es falsa si p es F y q es V. En los demás casos es V. p sólo si q (condición necesaria)
 [Link] LOGICAS
8 N0CIONI-.S D E L O G I C A

La proposición compuesta (1) es V, independientemente de los valores de verdad

Ejemplo 7-5, de las proposiciones componentes. Se dbe entonces que tal proposición es una

La siguiente implicación es V: tautología o ley lógica.

La proposición p =*• p es V cualquiera que sea el valor de verdad de p. Es otro
"SI T es equilátero, ENTONCES T es isósceles"
ejemplo de una ley lógica.
En este caso p : T es equilátero En cambio p A "~p es F, cualquiera que sea p. Se dice que es una contra-
q : T es isósceles
dicción.
y p es condición suficiente para q, es decir, que un triángulo sea equilátero es
suficiente para asegurar que sea isósceles. Por otra parte. T es equilátero sólo si es En el cáiculo preposicional se utilizan ¡as siguientes leyes o tautologías cuya
isósceles; es decir, que un triángulo sea isósceles es necesario para que sea equilátero. demostración se reduce a la confección de la correspondiente tabla de valores de
Sea ahora la doble implicación p *>• ¡7, es decir (p =» q) • < q ^ p) Si
verdad:
p <=> q es V. entonces p q es V y q => p es V, Se tiene, atendiendo a la 1.6.1. Involución
primera, que p es condición suficiente para q\ y, teniendo en cuenta la segunda ~ ( -p) p
implicación, ocurre que p es condición necesaria para q.
Es decir, si p *> q es V, entonces el antecedente p es condición necesaria y el modo de leerla es: "no, no p, equivale a p".
suficiente para el consecuente q.
Análogamente, en el caso de doble implicación verdadera, el consecuente q es
también condición necesaria y suficiente para el antecedente p. 1.6.2. Idempotencia
(p A p) p
Ejemplo 1-7.
(p V p ) *> P
La proposición

'T es equilátero SI Y SOLO SI T es equiángulo" 1.6.3. Conmutatividad

es la doble implicación de las proposiciones a) de la disyunción p v q <* q v p

p : T es equilátero b) de la conjunción p /> q q '• p

q : T es equiángulo
í .6.4. Asociatividad
Aquélla es V, y cualquiera de las dos proposiciones es condición necesaria y
suficiente para la otra. a) de la disyunción
(p v q) v r o p v (q v r)
1.6. LEYES LOGICAS
b) De la conjunción
Consideremos ta proposición
:p * •/'! r «» p \ ta r)
l ( p » q) i- Pi * O)
cuya tabla de valores de verdad es: 1.6.5. Distríbutividad
a) de la conjunción respecto de la disyunción
{p q) P [íp =* q) * p l =* <? (p v q) A r (p A r) V (q A r)
p q p =* q A

V V V V V
b) de la disyunción respecto de la conjunción
V F F F V
F V V • F V (p A q) v r «* ( p v r ) A (4" v r)
F F V F V
 10 IMPLICACIONLS A S O C I A V)AS
NOCIONKS DE LOGICA

1.6.6. Leyes de De Morgan Ejemplo 1-10.

a) La negación de una disyunción es equivalente a la conjunción de las negaciones La proposición

~ (p v q) ~p A ~<¡r (p A ¿7) => p

b) La negación de una conjunción es equivalente a la disyunción de las es una ley lógica, pues la tabla
negaciones
(p A 1) p
~ (p A q) ~~p v ~c?
V V V V V
Ejemplo 1-8.
V F F V V
Tabla de valores de verdad de la distributividad de la coniunción resne-m de h F F V V F
4 F F F V i
(p v q) r <* (p \ r) v (¿7 ^ r)
nos muestra que es una tautología.
Cada valor de verdad de p puede asociarse a dos valores de verdad de q, y por
cada uno de estos pares de valores se tienen dos posibilidades para r\ en
consecuencia, resultan 2 = 8 renglones en la tabla. Si se dan n proposiciones, en la
3 1.7. IMPLICACIONES ASOCIADAS
tabla hay que analizar 2" renglones.
Sea el condicional p =» q , que llamamos directo; en conexión con él, se
Por otra parte, es posible simplificar la confección de la tabla, como se indica a
XHHinuación presentan otros tres, obtenidos por permutaciones o negaciones del antecedente y
consecuente:
q => p recíproco
(p V q) A r P * r) v (q A T ) -p => ~-q contrario
V V V V j V V V ; ~¡7 =» —p contrarrec'proco
v ; v
V V V F ' F V F i F i F

V V F 1 V í V V V Las cuatro implicaciones propuestas se llaman conjugadas, y cualquiera de ellas

V F
VV F ] F F V F puede tomarse como directa. El siguiente esquema nos proporciona la relación que
F F
V V ¡ V ¡ V V V las vincula:
V V
F V V ¡ F ! F V F p => q recíprocos q => p
F F
F F F ! F ; V V F ; F | F
F F F ¡ F ; F V F ; F | F 2 TR
¿> §
i— I
Ejemplo 1-9. I ' ^ ^ I

Confeccionamos la tabla de valores de verdad de la siguiente ley de De Morgan: ~-p => ~-q recíprocos

~(p A q) «* ~ p v -q Es fácil verificar que las implicaciones contrarrecíprocas son equivalentes, es

decir, los siguientes b¡condicionales son tautologías:
(p A 9) ~p V ~q
l F ! V V V (p => q) (-q =» ~ p )
V F | F í F
! v V F F V F 1 V ! v (Q =» P) ** (~P =*
! v í F F V V V ! V ! F Si la implicación directa es V, también lo es la contrarrécíproca, y no podemos
! v ! F F F V V ! V V afirmar la verdad de la recíproca ó de la contraria. Pero si son verdaderos un
 condicional y su recíproco o contrario, entonces son verdaderos los cuatro, y las
proposiciones antecedente y consecuente son equivalentes.
Se presenta continuamente la necesidad de demostrar la verdad de p =*• q, y de 1.9. RAZONAMIENTO DEDUCTIVO V A L I D O
acuerdo con lo expuesto se presentan dos métodos:
En matemática interesa el tipo de razonamiento llamado deductivo. Llamamos
i) directo. Si p es F, nada hay que probar, pues en este caso p => q es V. Si p
razonamiento a un par ordenado ( { / > , } ; q), siendo { p , } un conjunto finito de
es V hay que establecer que el valor de verdad de q es V.
proposiciones, llamadas premisas, y q una proposición, llamada conclusión, respecto
ii) indirecto. Si q es V queda establecida la verdad de p =>> q. Pero si q es F de la cual se afirma que deriva de las premisas.
hay que examinar p y llegar a establecer que su valor de verdad es F. Un razonamiento es deductivo si y sólo si las premisas son evidencias de la
verdad de la conclusión, es decir, si p , . p 2 p>, son verdaderas, entonces q
verdadera. Un razonamiento deductivo es válido si no es posible que las premisas
l . S . NEGACION DE UNA IMPLICACION sean verdaderas y la conclusión falsa. De un razonamiento no se dice que es V o F,
hUw que es valida o no
Las proposiciones p => q y ~~(p \ -q) son equivalentes, como lo muestra la Llamamos regla de inferencia, a todo esquema válido de razonamiento, indepen-
siguiente tabla dientemente de la V o F de las proposiciones componentes. De este modo, toda
regla de inferencia es tautológica.
Un razonamiento deductivo es válido cuando el condicional cuyo antecedente es
•o- la conjunción de las premisas, y el consecuente es la conclusión, es tautológico.
(p D (p A -9)
Son ejemplos de reglas de inferencia:
V v • V y V ¡ v F F
V F ; F V ] a) Ley del modus ponens:
F ¡ v V V
F V ¡ V V ¡ V 1 F F F SI p y p => q, ENTONCES q
F v ¡ F v ! V ! F F V La notación clásica es

P
En consecuencia, la negación de la primera equivale a la negación de la segunda, P =* q
es decir
q
~ ( p =» q) o ~[ *
b) Ley del modus totcns:
y por 1.6.1, se tiene P
~q
~ ( P =* q) (P A ~q)
Es decir, la negación de una implicación no es una implicación, sino la ~P
conjunción del antecedente con la negación del consecuente. Este esquema es ta natación clásica del condicional
Eiempio i-/f.
Un *> a\ \ *-</! =» — v
Sean las implicaciones
¿) Ley del silogismo hipotético:
i ) Si hoy es lunes, entonces mañana es miércoles,
P =*?
ii) 1 = - 1 =» i J
= ( - J) 2
q =>r
Sus negaciones son, respectivamente,
P =»'
"Hoy es lunes y mañana no es miércoles"
Es decir, la proposición [{p => q) A (q =* r ) ] => (p =* r) es una*tautología.
" 1 = - 1 A l =¡fc(- l )
2 2
" En cambio, el condicional [ ( p => q ) A q ] => p no es una forma válida de
 los números enteros y estamos interesados en la propiedad de ser impar, entonces la
razonamiento, ya que la correspondiente tabla de valores de verdad nos muestra que traducción de P (x) consiste en: x es impar, y se escribe
no es tautológico.

Ejemplo 1-12. P (x) : x es impar

a) Justificar la validez del razonamiento

Es claro que el enunciado: "x es impar" no es una proposición, ya que a menos que
se especifique a x no podemos decir nada acerca de su verdad o falsedad. Ocurre, sin
p =*• q embargo, que para cada asignación dada al sujeto x dicho enunciado es una
~r ~~q proposición. A expresiones de este tipo se las llama funciones o esquemas
~(~p A ~r) preposicionales.
f => s
~-r Definición
s Función preposicional en una variable o indeterminada x es toda oración en la
que figura x como sujeto u objeto directo, la cual se convierte en proposición
En lugar de confeccionar la tabla del condicional entre la conjunción de las premisas para cada especificación de x.
y la conclusión, haremos uso de las leyes del cálculo preposicional, a fin de simplificar En nuestro ejemplo resultan proposiciones'como
la situación. La segunda premisa es equivalente a la contrarrecíproca q =* r. por la ley
del silogismo hipotético, de la primera y de ésta, resulta p =» r. La última premisa es
P (— 4) . — 4 es impar (F)
V, y en consecuencia r es F, y como p => r es V resulta necesariamente que p es F. La
P( 5) : 5 es impar (V),etc.
tercera premisa equivale a p v t. de acuerdo con una ley de De Morgan, y por ser p
falsa resulta la verdad de /. Ahora bien, siendo / y t =» s verdaderos, resulta la verdad
Se presentan también funciones preposicionales con dos variables o indeterminadas.
des, por 1.9 a).
Sea, por ejemplo
b) Justificar la validez del razonamiento cuyas premisas son: P {x , y): x es divisor de y

Hoy llueve o hace frió. Lo mismo que en el caso anterior, si x e v son enteros, P (x ,>•) no es proposición,
Hoy llueve o no hace frío, ya que no podemos afirmar la verdad o falsedad del enunciado. Mas para cada
particularización de valores se tiene una proposición
y !a conclusión: Hoy llueve.
En lenguaje simbólico se tiene P (— 2,6) : — 2 es divisor de 6 (V)
P( 1 2 , 6 ) : 12 es divisor de 6 (F)
P v q
p v ~g A partir de funciones preposicionales es posible obtener proposiciones generales
mediante un procesó' llamado de cuantificación. Asociados a la indeterminada x,
P
introducimos los símbolos V x y 3 x. llamados cuantificadores universal y existencial
q, o bien ~q es F; cualquiera que sea el caso, por ser las disyunciones verdaderas, en x, respectivamente. Las expresiones
resulta que p es V. De otro modo, la conjunción de ambas disyunciones, por la
Para todo x, se verifica P {x)
iistributividad, es equivalente a p v {q A ~-q). La verdad de aquéllas asegura la
Existe x, tal que se verifica P (x)
verdad de ésta, y como ¡7 A ~? es F, resulta la verdad de p.
se denotan mediante V r : P(x) (1)
3 x / P(.v) (2)
1.10. FUNCIONES PROPOSICIONALES. SU CUANTIFICACION
y corresponden a una función preposicional P (x) cuaritificada umversalmente en el
primer caso, y existencialmente en el segundo. Una función preposicional cuantificada
£1 símbolo P (x) es la representación de un predicado o propiedad relativos al
objeto indeterminado x, perteneciente a cierto universo o conjunto. Si nos referimos a
 C U A N T O 1C A C I O N 17

adquiere el carácter de proposición. En efecto, retomando el primer ejemplo, si

decimos Vale entonces la siguiente regla: para negar una función proposicional cuantificada
exislencialmente se cambia el cuantificar en universal, y se niega la función
"Todos los números enteros son impares". (1')
proposicional.
es claro que hemos enunciado una proposición general y relativa a todos los números
Se tienen las siguientes equivalencias
enteros, cuyo valor de verdad es F. Una traducción más detallada de esta proposición
consiste en ~t V * : P (x)] «> 3 x i ~ P (x)
~ [ 3 . v / P ( » ] <* V . t : - P ( J C )
"Cualquiera que sea x, x es impar".

Es decir V.r : x es impar Ejemplo l-il

Sí cuantifkamos existencialmente la misma función preposicional, se tiene Sea la proposición:

3 .x / x es impar Todo el que la conoce, ia admira.

Nos interesa escribirla en lenguaje simbólico, negarla, y retraducir ia negación al
0 sea "Existe x. tal que x es impar".
lenguaje ordinario.
0 bien "Existen enteros que son impares". (2') La proposición dada puede enunciarse:
0 más brevemente "Hay enteros impares". Cualquiera que sea la persona, si la conoce, entonces la admira.
El valor de verdad es V, y en consecuencia se trata de una proposición. El Aparece ciara la euantificaeión de una implicación de las funciones preposicionales
cuantificador existencial se refiere a, por ¡o menos, un x.
P ix): v la conoce
Es obvio que una función preposicional cuantificada umversalmente es V si y sólo si Q (.v): ,v la admira
son V todas las proposiciones particulares asociadas a aquélla. Para asegurar la verdad
de una función proposicional, cuantificada existencialmente, es suficiente que sea Se tiene
verdadera alguna de las proposiciones asociadas a la función proposicional. VJC : P(.v) =* Q(x)
Un problema de interés es la negación de funciones preposicionales cuantificadas. Teniendo en cuenta la forma de negar una función proposicional cuantificada
La negación (1') es
universalmente y una implicación resulta
"No todos los enteros son impares" 3x/P(.v) A ~Q(.v)
es decir "Existen enteros que no son impares"
Y pasando allenguaje ordinario:
y en símbolos 3 x / —P (x)
Hay personas que la conocen y no la admiran.
Entonces, para negar una función proposicional cuantificada universalmente se
cambia el cuantificador en existencia!, y se niega la función proposicional. Ejemplo ¡14.
La iiég j - - ion de i 2*) -T
Consideremos ia nnúna cuestión en el siguiente caso:
"No existen enteros impares".
Todo entero admite un inverso aditivo.
Es decir "Cualquiera que íea el entero, no es impar"
Es decir
o lo que es lo mismo
"Cualquiera que sea el entero, existe otro que sumado a él da cero".
"Todo entero es par".
Intervienen dos variables y la función proposicional
En símbolos V -í : ~P (.Y)
P(.v , v) :x +y = 0
 CIRCUITOS LOGICOS 19
18 NOCIONES DE L O G I C A

La expresión simbólica es entonces Y para p, si es F

Vx3y/x+y = 0

Su negación es
Es decir, el interruptor se cierra si p es V y se abre sip es F.
3x/~[3y/x+y = 0]
Las operaciones proposicionales pueden representarse mediante circuitos con tantos
Es decir interruptores como proposiciones componentes, combinados en serie o paralelamente,
3 x / V y :x + ^ # 0 i ) Conjunción

La traducción al lenguaje común es

Este circuito admite el pasaje de comente, es decir, la verdad de p A q, sólo si las

Ejemplo J-15. dos son V.
Sea la proposición ii ) Disyunción. Está representada por un circuito en paralelo
Hay alumnos que estudian y trabajan.
Su enunciado sugiere un cuantificador existencial y dos funciones preposicionales
P (x): x estudia
Q (x): x trabaja

En forma simbólica se tiene

3x/PLv> A OW La falsedad de p v q. es decir, el hecho de que no pase corriente, sólo se verifica

en el caso de la falsedad simultánea de p y q,
Su negación es
iii) Implicación. Como
V x : ~[P (x) \ Q(x)\
~(P A
~<ü)
Y por ley de De Morgan
de acuerdo con 1.8, aplicando una ley de De Morgan y la doble negación, se tiene
yx : ~P{JC) v ~Q (x)
(p => q) o (~p v q)
Traduciendo al lenguaje ordinario
En consecuencia, el circuito asociado es
"Cualquiera que sea el alumno, no estudia o no trabaja".

1.11 CIRCUITOS LOGICOS

La verdad de una proposición puede asociarse al pasaje de corriente en un circuito

eléctrico con un interruptor.
Para representar a p, si es V, se tiene

iv) Diferencia simétrica.

Utilizando sucesivamente 1.4.6., 1.4.5.. una ley de De Morgan, la negación de
implicaciones y la distributividad de la disyunción respecto de la conjunción, se tienen ii) La operación proposicional que caracteriza al siguiente circuito
las equivalencias
Q •
(p Y q)o ~ ( p o q) o

~Kp í) a
U p)1
~~(p =* q) V ~{q => p) <*•
*> ( p A ~¿7) v A ~p) *>
*» ( p v t>) A. ( p v
{ ~p) A (~¡? v A (~q y ~p)
"» f p V :/ í * I ~P V ~(/)

y resulta el circuito

P ~-P

q -q

Ejemplo 1-16.
i ) El circuito correspondiente a la proposición
(p A q) v (~q) es

0 bien, luego de simplifica!" aquélla, p v ~-q.

Para que pase corriente es suficiente avep o ~~q sean V.

 1-23. Simplificar las siguientes proposiciones:
i ) ~(~p V ~q)
ü ) ~(P V q) V (~p A q)

1-24. Sabiendo que p v q es V y que -q es V, determinar el valor de verdad de

{(p V q) A ~q] => q
TRABAJO PRACTICO I
1-25. Determinar, en cada caso, si la información que se da es suficiente para conocer
el valor de verdad de las siguientes proposiciones compuestas. En caso
afirmativo, justificarlo.
1-17. En el libro Hijos en libertad, de A. S. Neill. están escritas las siguientes
proposiciones i \ i p => q) => r • r p« V

p : Mis maestros hacen que todas las lecciones sean aburridas. i i ) ('p v q) •*» {~p A ~q) ; q es V
q : No aceptan las respuestas que no figuran en los libros.
iii) {p A q) =» (p v r) ; pesVyresF
r: imponen un cúmulo de normas estúpidas
iv) p \ (q => r) ; p => r es V ,
Construir las proposiciones
1-26. Los valores de verdad de las proposiciones p, q, r y s son, respectivamente, V, F.
p * q , ~q V r , (p A q) => r
F, V. Obtener ios valores de verdad de
1-18. Escribir en forma simbólica la siguiente proposición compuesta que figura en el i ) {(p v q) v r ] A s
mismo texto:
ii ) r => $ A p
" L a chatura y el tedio de ciertas disciplinas escolares se trasmiten a los maestros, iii) p v r «* r A ~j
y las escuelas se llenan de hombres y mujeres de mentalidad estrecha, vanidosos,
cuyo horizonte está limitada por el pizarrón y el libro de texto". 1-27. Negar las proposiciones

¡•19. Confeccionar las tablas de valores de verdad de las proposiciones i ) 3 x/P(x) v -Qi.t)
ii ) V x : P (.v) => Q (.Y)
i ) (P A (?)=*/•
üi) V x 3 y / x . y = 0
a) -(p V q) o ~p ,\ ~q
1-28. Verificar que para probar la equivalencia de las proposiciones p. q, r y s es
1-20. Negar las proposiciones construidas en el ejercicio 1-17.
suficiente demostrar las siguientes implicaciones:
¡•21. Proponer las siguientes proposiciones en forma simbólica, negarlas, y retraducir-
p =* q , q r , r=*s y s=*p
las al lenguaje común:
i ) No es justa, pero mantiene el orden. /-29. Dadas las proposiciones
i i ) Los alumnos conocen a los simuladores y los desprecian. i ) El cuadrado de todo número real es mayor que 2.
iii) Si los alumnos conocen a los simuladores, entonces los desprecian. i i ) Existen enteros cuyo cubo aumentado en 1 es igual al cubo de! siguiente,
1-22. Determinar si las siguientes proposiciones son leyes lógicas: iii) Todo el que estudia triunfa,

i ) P A q => q expresarlas simbólicamente, negar las expresiones obtenidas y retraducirlas al

lenguaje ordinario.
• ü ) {(P = * <?) A (q =*• r)\ => ( p =*• r)
iii) p =* p A q 1-30. Construir un circuito correspondiente a la proposición

i v ) p =* p V q (P A ~q) v (~p A (7) v (-p A ~<7)

1-31. Se tiene el siguiente circuito:

P Q

p
Capítulo 2

CONJUNTOS

L
2.1. INTRODUCCION
i ) determinar la proposición correspondiente
ii ) simplificar ésta, y construir el circuito asociado. El propósito de esta sección es el estudio de'la teoría intuitiva de conjuntos. En
¡•32, Expresar simbólicamente el siguiente teorema: "si un número es impar, entonces este sentido, ¡os términos "conjunto", "pertenencia" y "elemento" son considerados
como primitivos. Sobre esta base se definen la inclusión y la igualdad, y se estudian sus
su cjadrado es impar".
propiedades. El mismo tratamiento se hace corresponder a las operaciones entre
Enunciar el contrarreciproco, el contrario y el recíproco Demostrar el primero. conjuntos. El capítulo se completa con e! desarrollo de ejemplos en los que se pretende
mostrar un método adecuado de trabajo.
¡•33. Siendo
p : a. b es impar
q : a y b son impares
2.2. DETERMINACION DE CONJUNTOS
Demostrar p =» q
¡•34. Justificar el razonamiento 2.2.1. Notaciones

p v -q Para denotar conjuntos utilizaremos generalmente letras mayúsculas, y para

~q <t> r especificar elementos se usarán letras minúsculas, a menos que dichos elementos sean,
p V ~r a su vez, conjuntos. Para indicar la pertenencia de un elemento a un conjunto será
utilizado el símbolo e.
La proposición "a e AJ" se lee: "a pertenece a A " , o bien "el elemento a pertenece
¡•35. Lo mismo en ei siguiente caso: al conjunto A"
Su negacíóii í¿> "a í A ' , que se lee: "a no pertenece a A"
s q) =» r Si ei conjunto A formado por ios elementos ¡r, t- y <r. escribimos
r =* $
A - | a ,b . c j

en este caso se nombran todos los elementos del conjunto, y se dice que está
1-36. Investigar la validez del razonamiento siguiente: determinado por extensión.
Si el interés no es egoísta, entonces es^ la fuerza vital de las personas y es Las notaciones usuales para caracterizar conjuntos numéricos son las siguientes:
espontáneo. N conjunto de los números naturales
El interés no es la fuerza vital de las personas y es espontáneo Z conjunto de los números enteros

El interés es egoísta
 D ETER MI NA C ION DE CONJUNTOS

Q conjunto de los números racionales

R conjunto de los números reales \ Un conjunto vacío es aquel que carece de elementos. Un conjunto unitario está
C conjunto de los números complejos formado por un único elemento.
Una propiedad o función proposicional, que se convierte en proposición falsa para
La representación por extensión del conjunto cuyos elementos son — 1, 0 y 1, es todos los elementos del universal, caracteriza por comprensión un conjunto vacío.
Designaremos con <¡> al conjunto vacío, y puede definirse simbólicamente así
A = { - 1 ,0,l}
0= i x ¡xi-x )
Es faci! ver que se trata del conjunto de los números enteros cuyo valor absoluto es
menor que 2; en este enunciado hacemos referencia a elementos del conjunto Z, de los En este caso la propiedad relativa a x es P (x) :x=£[Link] cual resulta falsa cualquiera
números enteros, el 'cual se llama referencial o universal; además, estamos interesados
que sea x.
en aquellos que satisfacen la propiedad de ser, en valor absoluto, menores que 2.
La notación correspondiente es Si A es el conjunto cuyo único elemento esa. escribiremos

A = { xeZi \x\<2 j> A = \ a '1 = i x '.v = « \

y se dice que el conjunto ha sido determinado por comprensión. Ejemplo 2-1.

El conjunto universal depende de la disciplina en estudio, se fija de antemano, y
Determinar simbólicamente y por extensión los siguientes conjuntos definidos por
está formado por todos los elementos que intervienen en el tema de interés. En general
comprensión:
se denotará con U.
i ) A es el conjunto de los números enteros cuyo cuadrado es igual a I.
Definición /
En este caso la propiedad que caracteriza a los elementos de A es la conjunción de
Un conjunto se determina por extensión si y sólo si se enumeran todos los ?(x): xeZ y Q ix) : x = 1 2

elementos que lo constituyen. Un conjunto se define por comprensión si y sólo

Entonces
si se da la propiedad que caracteriza a sus elementos.
A= | X ¡ X € Z A x = ¡ j>
2

El conjunto cuyos elementos verifican la propiedad P se indica

y como universal puede sobrentenderse el conjunto de los números reales o racionales.
A = í ' x e ü í P w )
Si proponemos a Z como universal, puede escribirse
o más brevemente, si U está sobrentendido
A = {xeZix 2
= 1 }
A={*/P(x)}
Obviamente, la determinación por extensión es
y se lee: "A es el conjunto formado por los elementos x, tales que P (xf. P {x) es una
función proposicional, y un objeto del universal pertenece al conjunto si y sólo si ' - A - { - l . l }
verifica la propiedad, es decir i i ) B es el conjunto de los números naturales mayores que 2, y que no superan a
aeA P {a) es V 6.
Considerando a N como universal, la propiedad característica de los elementos de B
En consecuencia es la conjunción de
a i A •» P (a) es F ?(x):x>2 y Q(x):x<6

2.2.2. Conjuntos especiales que podemos expresar R (jf): 2 < x < 6

y se tiene
Extendemos la noción intuitiva de conjunto a los casoü de carencia de elementos y
de unicidad de elementos, mediante la introducción d° los conjuntos vacío y unitario.
B = ( xeN / 2<x<6)
 28 CONJUNTOS D E T E R M I N A C I O N Lü. C O N J U N T O S 29

Por extensión nos queda iii) B es el conjunto de los números naturales cuyo cuadrado es par.

B={3,4,5,6} B = | x eN /x 2
es par j

iii) C es el conjunto de los números reales cuyo cuadrado es igual a — 1. O bien

Se tiene.
B= ( x e N / j c 2
=2ifc A fceNJ
C = íxeR/x J
= -l ]
¿Cómo se determina la pertenencia de un elemento a B? De acuerdo con la
Como el cuadrado de ningún número rea! es negativo. P <v> : x 2
1 es F para definición de B, dado un número natural, se analiza su cuadrado; si dicho cuadrado es
iodo real, y resulta C = é. par. el número pertenece a 8; si su cuadrado es impar, no pertenece a B. Es decir

Ejemplo 2-2.
a e & <* i~ eí par
La determinación de conjuntos por extensión no es posible en el caso de infinitos
elementos, y hay que limitarse a la definición por comprensión. La matemática trabaja iv) C es el conjunto de los puntos del plano cuyas distancias a un punto 0 son
casi con exclusividad en este sentido, a través de propiedades. iguales a 1.
Caracterizamos simbólicamente los siguientes conjuntos: Entendemos que el conjunto universal es el de los puntos del plano a. Si bien 0 es
i } P es ei conjunto de los números enteros pares. un elemento, como es usual en geometría, lo denotamos con mayúscula. Indicamos la
Por definición, un entero es par si y sólo si se identifica con el duplo de algún distancia entre A y 0 mediante d (A . 0). Entonces
entero. Es decir

a es par < = > 3 £ e Z / a = 2fc C = { X e a / d ( X , 0 ) = - l)

Entonces P = | x e Z / . x = 2fc A A" e Z } es la definición simbólica de la circunferencia de centro 0 y radio 1.

v) D es el conjunto de los puntos del plano que equidistan de dos puntos fijos A
Es claro que P consiste en el conjunto de los múltiplos de 2.
A veces, acudiendo a un abuso de notación, suele preponerse una aparente y B.
determinación por extensión de un conjunto infinito, con la adjunción de puntos D = ( X eald(X . A) = tf (X , B ) }
suspensivos. Así

P={ ,-4,-2,0,2,4,6 } D consiste en la mediatriz del segmento AB.

i i ) A es el conjunto de los números naturales que son múltiplos de 3. Ejemplo 2-3.

El conjunto S está formado por los posibles resultados que se obtienen al lanzar dos
A~ x <• N ' x - 3 k .-• ¿t e N monedas. Los resultados para la primera moneda son c (cara"i y s (sello) y por cada uno
ik ellos se tienen las mismas posibilidades para ia segunda, es decir
En Nno incluimos al cero, y se tiene

A = | 3,6,9.......} .- c

Si 0 se considera natural, escribiremos N y en este caso

0

A = { x e N o / j c = 3fc A eN j 0
Entonces
Es decir
A= { 0,3 ,6,9 , }
 2.3. INCLUSION
En este caso se verifica A C B .
2.3.1, Concepto
Ejemplo 2-4.
Sean A y B dos conjuntos, Si ocurre que todo elemento de A pertenece a B, Sean V = N y los conjuntos
diremos que A está incluido en B, o que A es parte de B, o que A es un subconjunto de
B, y escribimos A C B. A ={ x/x\6 }

Definición /. B = { xix | 8 }
A C B «• V x : x e A => x e B
C ={ x!x<2 )
Esta definición tiene el siguiente significado: si sabemos que A C B, entonces la
proposición V . v . x e A =>.veB es V; recíprocamente, si esta proposición es V.
entonces se verifica que A C B. Definimos la relación de divisor en N mediante
En repetidas ocasiones se necesitará demostrar que un conjunto es parte de otro;
entonces, de acuerdo con la definición, será suficiente demostrar que cualquier a| b si y sólo si 3 n e N / b - a. n
elemento del primero pertenece al segundo. Teniendo en cuenta esta definición, y la relación de menor o igual, la representación
Teniendo en cuenta la equivalencia entre una implicación y la contrarrecíproca, la por extensión de tales conjuntos es
definición anterior puede expresarse así
A C B •»• V x : jt ¿ B => x 4 A
A = <^ 1 , 2 , 3 , 6 j B = | 1 , 2 , 4 . 8 j>
t
Además, considerando la equivalencia entre p => q y ~ (p A ~~q). podemos i
traducir la misma definición de la siguiente manera
y en términos de diagramas de Venn
A C B **1 x j x e A \ xéB esF

Es decir, en la inclusión no puede darse que haya un elemento de A que no

pertenezca a B.
Sobrentendiendo el cuantificador universal, para descargar la notación, escribi-
remos

ACB *»xeA =»xeB

2.3.2. Diagramas de Venn

Existe una representación visual de los conjuntos dad» por diagramas llamados de Ejemplo 2-5.
Venn. En este sentido, el conjunto universal suele representarse por un rectángulo, y
los conjuntos por recintos cerrados. Es claro que todo elemento de A pertenece a U, es Consideremos el conjunto U de todos los triángulos; si I denota el conjunto de los
decir, A C U. Sean A, B y C subconjuntos de U, como indica el diagrama triángulos isósceles, E de los equiláteros y R de los triángulos rectángulos, se tiene

U
B U
 I G U A L D A D Di; C O N J U N T O S
3? CONJUNTOS

Ya que todo triángulo equilátero tiene los tres lados iguales, en consecuencia tiene Nota previa:
dos iguales, es decir, es isósceles. Además existen triángulos isósceles que son Por definición, un número natural x es impar si y sólo si existe fceN tal que
rectángulos, pero ningún triángulo equilátero es rectángulo. x — 2 k — 1.
Por otra parte, es fácil ver que el producto de dos naturales consecutivos es impar, y
2.3.3. Igualdad de conjuntos que la diferencia entre un número par y uno impar es impar. Vamos ahora a nuestra
demostración, la cual consiste en probar las dos inclusiones que definen la igualdad
Es claro que dos conjuntos son iguales si son idénticos, es decir, si tienen los mismos
I ) A C B. En efecto: sea .Y e A.
o

elementos. Entonces, todo elemento del primero pertenece al segundo, y todo

elemento de éste pertenece al primero.
Se tiene Y C \ =» x es impar » .v =- 2 k - ! con k e N =*•
Definición z
~ 2 .(2k - 2k) 4 - 2 - 1 «•
4 k -*• I con A e N ~» . r
2
=* x = 4 k
2 1
—
A — B «*• A B A BCA.
=» x~ ~ 2 . ?2 n — 2 k ~ 1) - 1 —•." ; „ i í; • — ) Rétulo k' e N =»
:
f
Ejemplo 2-6.
=» . Y es impar =» .v c B
2

Los conjuntos de números reales

A = í x 1 x = x j>
l Hemos utilizado sucesivamente, la definición de A, la definición de número
impar, cuadrado de un binomio, la distributividad de la multiplicación, la
B = ( xi(x~\).x-0} sustitución de 1 por ( 2 - 1), nuevamente la distributividad. !a definición de
numero impar, y finalmente !a definición de B.
son iguales ya que
2 } B C A. Es claro que .Y = x {x + 1) — x ,
o 1

xeA x =x «• x — x = 0 •** x. (x
2 2
— 1) = 0 o x e B
Ahora bien
El Incondicional se desdobla en las dos implicaciones que prueban la doble x e B =* . Y es impar => x. {x + 1) — x es impar =>
2 2

inclusión, y en consecuencia la igualdad.

=> x es impar => x e A
Ejemplo 2-7,
En consecuencia A = B,
Sean los conjuntos de números enteros

A = { x/x = 1 } 2 2.3.4. Propiedades de !a inclusión

B = { x I \x\ = í } i ) REFLEXIVIDAD. Todo conjunto es parte de sí mismo.

En efecto, si A es un conjunto, la implicación
Teniendo en cuenta que el cuadrado de un número entero es igual al cuadrado de su
Vx :xe A =» x e A es V
valor absoluto, resulta
En consecuencia, por definición, se tiene A C A.
.v e A •=» ,c = i :
¡xl • - i «• ¡x¡ - I -«< -v e 8
i i ) TRANS1TIVIDAD. Si un c n,u . , este es parte de un
En consecuencia, A ~ B. tercero, entonces ei primero .A^ • t.n • 1

Hipótesis» A C B Tesis i A ('

Ejemplo 2-8. BC C
Demostnr que el conjunto de los números naturales impares es igual al conjunto de .
Demostración)
los números naturales cuyo cuadrado es impar.
Sea x e A. Por hipótesis se tiene
Hipótesis) A = | x e N / x es impar } Tesis) A = B
X € A .=> X 6 B
B = | x e N / x es impar }
2

y xeB => xeC

Demostración)
 L-ntonees, por ley del silogismo hipotético
Definición /
.x e A => x e c Conjunto de partes de A es el conjunto cuyos elementos son todos subconjuntos
Y, en consecuencia, por definición de inclusión AC C. de A.
iii) ANTiSIMETRlA. Si un conjunto es parte de otro y éste es parte del primero,
¿>(A)= [ X / X C Á J
entonces son iguales.
Los elementos de este conjunto son a su vez conjuntos, y, en consecuencia, P (A)
A C B A B C A * A =B
es un conjunto de conjuntos.
es una consecuencia de la definición de igualdad. De acuerdo con la definición, se tiene

XeP(A) o X C A
- 3 5 . Caracterización del conjunto vacío
F! problema de decidir si un objeto es un elemento de P (A) se reduce a determinar
t ) Propiedad. El conjunto vacío está incluido en cualquier otro. si dicho objeto es un subconjunto de A.
:
h.-c-ttísis) A es un conjunto. De acuerdo con la propiedad reflexiva de la inclusión, cualquiera que sea A, se tiene
Tesis) 0 C A. A C A, y en consecuencia A € P ( A ) por definición de conjunto de partes.
Demostración) Consideramos la siguiente proposición: Además, por 2.3.5. i) se sabe que 0 C A, y por la misma definición 0 e P (A), Es
decir, cualquiera que sea A. el mismo A y el vacío son elementos de P (A).
VJC : x e 0 => x e A

'a J jal es V por ser el antecedente F. En consecuencia, de acuerdo con la definición de Ejemplo 2-JO.
inclusión, se tiene $C A. Determinar el conjunto de partes de A = \ 2 . 3 , 4 '
Los elementos de P ( A ) son todos los subconjuntos de A. es decir
Eí teorema es válido cualquiera que sea A; en particular, A puede ser vacío.
<t>
ii ) Propiedad. El conjunto vacío es único.
( 2 ) . ( 3 ) . (4)
Ln efecto, suponemos que. además de 0, existe 0* también vacío. Entonces, de
acuerdo con i ), es verdadera la proposición Í2 , 3 } , ( 2 , 4 ) , <3 ,4)
0' C 0 A 0 (_ 0* A

y. por definición de igualdad, resulta <£ = <$> Y la notación por extensión es

Ejemplo 2-9.
i>(A)=Í0, { 2 } , { 3 } , { 4 } , { 2 , 3 } , { 2 , 4 } , { 3 , 4 } ,A¡>
Demostrar A C 0 => A = 0.
Ejemplo 2-11. ,
Como se trata de una igualdad se requieren dos inclusiones.
i ) El conjunto de partes del vacío es el conjunto cuyo único elemento es el
1") 4>C A por 2.3.5. i ). vacío.
2 ) A C 0. Se verifica por "hipótesis.
O

/»(*)={#}
Luego A = 0. i i ) La pertenencia relaciona elemento a conjunto, mientras que la inclusión
relaciona conjuntos entre sí. Desde este punto de vista, damos los valores de
verdad de las siguientes proposiciones relativas al ejemplo 2-10.
$ 2 . 4 . CONJUNTO DE PARTES
4>C A V
Pado un conjunto A, podemos formar un nuevo conjunto constituido por todos los 0eA F
subconjuntos Je A, el cual recibe el nombre de conjunto de partes de A.
<t>eP(A) V
 0C/>(A) V
En símbolos
2,3J> eP(A) V E
A = { J C C U / J C M }

2eP(A) F
o bien
{ 2 } eP(A) V
A F
-{ X/XÍA)
AeP(A) V
Ae A F Se tiene
x e A •=> .\ e A
AC A V
E¡ diagrama .!« Vcnv> cotra>pondiente es
Ejemplo 2-12.

Si A tiene n elementos, entonce» P (A) tiene 2" elementos. Se trata de computar e!

número de subconjuntos de A. Uno de ellos es el vacío. Conjuntos unitarios hay
exactamente n = ('! j , es decir, tantos como combinaciones de n elementos, de orden
1.

El número de subconjuntos de dos elementos es el de combinaciones de n

elementos de orden 2. es decir i , ¡

Subconjuntos ternarios hay f" i .•

La complementación es una operación unitaria, en el sentido de que a partir de un
Y así sucesivamente, hasta obtener el único subconjunto de n elementos.
conjunto se obtiene otro.
El número total está dado por la suma
Es usual también obtener el complemento de un conjunto A, respecto de otro B, en
cuyo caso ¡a definición es
CBA = ( x e B / x íA >
n -n\ n ¡tl\ .
En particular se tiene
= s \¡) = 1 d r . r - ' = d + D" = 2 n

i ) El complementario del vacío es el universal.

¿=o í=0 '

En este desarrollo hemos aplicado la fórmula del binomio de Newton que se x e U => x e 4> =» x e o c

justificará en el Capítulo ó.
\ .'onw <f C V. resulta <?'' ~ V
ú 1 £.¡ complementario del universal es si vacio.
"'2.5. COMPLEM£N TACION DE CONJUNTOS
V- • x 'x eV * véL '•
Sean A y B subconjuntos de U.

-.5.1. Definición 2.5.2. Propiedades de la complementación

Complemento de A es el conjunto formado por los elementos de U (,ue no
• I) INVOLUCION. (A ) = A c c

pertenecen a A.
Demostración)
El complemento de A se denotará por A ; suelen usarse también A' y A.
e

xe(A )
c c
**x4A c
<*• ~ ( . r e A ) c
- (x 4 A) <* x e A
 En esta demostración hemos utilizado la definición de complemenio y la ley En símbolos se tiene
involutiva del cálculo proposicional.
An B=jx eU /x eA A X e B}
I I ) A C B =* B C A
c c

O bien, sobrentendido U .
Demostración) Utilizando sucesivamente las definiciones de complemento, de
inclusión y de complemento, se tiene AOB =| x / x e A A xeBj
x e B =• x f B => x f A => x e A
¿ c

La intersección entre conjuntos es una operación binaria, porque a partir de dos

Luego , B C A
e c
conjuntos se obtiene un tercero.
La propiedad que caracteriza a los elementos de la intersección es la de pertenecer
Ejemplo 2-13.
smiiOtnnesmente a Jos dos conjuntos, y se establece en términos de una conjunción
Demostrar A = B => A° = B c

La definición de intersección establece

x e A -o .v i A •*» x i B *> xeB
c c

x e A n B *> x e A A x eB
En virtud de las definiciones de complemento, igualdad y complemento. Si la intersección de dos conjuntos es vacía dichos conjuntos se llaman disjuntos.
Ejemplo 2-14. A y B son disjuntos <* A <~¡ B = <p
i ) Si r es una recta incluida en e! plano ct, entonces su complemento es el par de
semiplanos opuestos abiertos, de borde r. Ejemplo 2-15.
ii ) El complementario del conjunto de los números naturales pares es el i )Si r y r" son dos rectas distintas incluidas en un plano, entonces su
conjunto de los naturales impares, intersección puede ser vacía, o bien reducirse a un punto. En el primer caso
son paralelas, y en el segundo caso se llaman incidentes.
i i i ) El complementario de Q en R es el conjunto de los números irracionales.
ii ) Sean dos rectas AC y AB,
.'2.6. INTERSECCION DE CONJUNTOS

Sean A y B subconjuntos de U.

2.6.1. Definición

Intersección de dos conjuntos A y B es el conjunto formado por los elementos

que pertenecen a A y a B.

El diagrama de Venn correspondiente es

A[
J B

4AOB