Professional Documents
Culture Documents
(Schaum - Seymour Lipschutz) Teoria de Conjuntos y Temas Afines PDF
(Schaum - Seymour Lipschutz) Teoria de Conjuntos y Temas Afines PDF
p
Es decir, la relacién de desigualdad definida en los mimeros cardinales es un orden total y no so-
Jamente parcial, Como los nimeros cardinales estin bien ordenados, se puede dar un enuncisdo mis
fuerte
Teorema 12-2: Todo conjunto de numeros cardinales esta bien ordenado por la relacién a =
ALEFS
Ya se dijo antes que el mimero cardinal de los conjuntos enumerables es
Xo
(8 alef cs la primera letra del alfabeto hebreo.) Como los nimeros cardinales forman un conjunto bien
ordenado, se emplea el siguiente sistema de notacién para los nimeros cardinales. El siguiente de Ny
se denota X, y el siguiente a éste por N,, y asi sucesivamente. E] nimero cardinal que sigue a todos los
N, se denota por Nq. O sea que todo cardinal infinito se puede denotar univocamente por una X con
un numero ordinal como subindice de la manera siguiente:
Notacién: Sea 2 un niimero cardinal infinito. Sea s(z) el conjunto de los nimeros cardinales infi
10s inferiores a a. Notese que s(z) es bien ordenado: sea 4 = ord (s(a)). Entonces a se de
nota por
acy
La hip6tesis del continuo se puede shora enunciar asi
Hipétesis del continuo: 8, ~ «.
Problemas resueltos
AXIOMA DE ELECCION
1. Demostrar que el axioma de eleccién es equivalente al postulado de Zermelo.
Soluciéa:
Sea {Ajjrcs una familia no vacia de conjuntos disjuntos no vacios y sea f una fincién de eleceién sobre
{Advan ¥ Sea el conjumto B= {f(A,): ie J}, Entonces
ANB = {f(Ad)
consta de un solo elemento puesto que los 4, son disjuntos y es una funcion de election. De acuerdo con esto,
] axioma de eleccion implica el postulado de Zermel.
Sea ahora (Ajj1er una familia no vacia de conjuntes no vacios disjuntos 0 no y hégase
4
0
{A} x), paratodo tet
Entonces es ciertamente {4#} una fami) disjunta de conjuntos puesto que i # j implica 4, {1} 4 4) Ul
aun en el caso de ser 4, = A, Por el postulada de Zermelo, existe un subconjunte B de U),AP tal que
Ka, OF
consta de un solo elemento. Entonces a; A, y la funcién f sobre (4), ., definida por f(A)
de eleccién, Segiin lo cual, el postulado de Zermelo implica el axioma de cleccién.
BnAS
4, €8 une funcion182 AXIOMA DE ELECCION, LEMA DE ZORN. TEOREMA DE LA BUENA ORDENACION —[CAP. 12
2. Demostrar el teorema de la buena ordenaciéa (Zermelo): Todo conjunto no vacio X puede ser
bien ordenado.
Solucié
‘Sea f una funcidn de elecciéa sobre el conjunto (X) de todos los subconjuntos de X, esto es.
PPX) +X con fld)ed, para todo 4c x
Un subconjunto 4 de ¥’se dird normal s tiene una buena ordenacién y, ademas, la propiedad de que, para todo & 4,
Se =sfa)= 2 donde syla)= {xe dix B):.1 un eon:
jjumto de fonciones totalmente ardenado por inelusién, Entonces Uy, ¢1f/¢¢ una funcién de Ue, A, en B.
Respuestas a los problemas propuestos
7. (1). Gierta, Porque Ny es el niimero cardinal de un conjunto enumerable y, como ya se demostré antes, la unién
de un conjunto enumerabie con un conjunto infinito no cambia el cardinal de este conjunto infnit,
(@) Falsa, Pues come la adicidn de cardinales es conmutativa,
Mee = Ee ES ey
implicaria que la adiciin de ordinales es conmutati
que no es cierto,Capitulo 13
Paradojas de la teoria de conjuntos
INTRODUCCION
La teoria de conjuntos, como una disciplina matemitica, fue Cantor (1845-1918) el primero que
la estudié hacia finales del siglo diecinueve. Hoy la teoria de conjuntos es fundamental en las matem:
ticas cuyas ramas ha transformado cast todas. Por la misma época en que la teoria de conjuntos co-
men26 a influir sobre otras ramas de las matematicas, se le descubrieron varias contradicciones o pa-
radojas, la primera por Burali-Forti, en 1897, de las cuales se presentan algunas en este capitulo. Si
bien es factible climinar estos contrasentidos por un desarrollo axiomatico estricto de la teoria de con-
juntos, atin quedan muchos interrogantes por responder.
CONJUNTO DE TODOS LOS CONJUNTOS (PARADOJA DE CANTOR)
Sea C el conjunto de todos los eonjuntos. Entonces todo subconjunto de C es asimismo un cle-
mento de C: luego el conjunto potencia de C es un subconjunto de C, esto es,
ace
Pero 2°¢ C implica que
#(2) = #10)
Pero entonces, segiin el teorema de Cantor,
#(C) < #2)
Asi, pues, el concepto de conjusto de todos los conjuntos lleva a una contradiecién,
PARADOJA DE RUSSELL
Sea Z el conjunto de todos los conjuntos que no son elementos de si mismos, es decir,
Z = (X|XexX}
Se pregunta; ;Z es 0 no es elemento de si mismo? Si Z no pertenece a Z, entonces, por la definicién
de Z, Z se pertenece a si mismo. Pero si Z pertencce a Z, entonces, por la definicién de Z, Z no per-
tenece a si mismo. En cualquiera de los dos casos hay contradiecién.
Esta paradoja es de cierto modo anéloga a la paradoja popular siguiente: En una aldea hay un
tarbero que afeita solamente a los hombres que no se afeitan ellos mismos. Se pregunta: ; All barbero,
lo afeita?
CONJUNTO DE TODOS LOS NUMEROS ORDINALES (PARADOJA DE BURALI-FORTI)
Sea A el conjunto de todos los mimeros ordinales. Por un teorema anterior, A es un conjunto bien
‘ordenado; sea a = ord (A). Considérese ahora s(a), el conjunto de todos los niimeros ordinales meno-
res que a. Obsérvese que
(1) Puesto que s(t) consiste en todos los elementos de A que son anteriores a a, s(at) es una sec~
cién inicial de A
2). Por un teorema previo, «
ord (s(@)); por tanto,
‘ord (s{a)) = @ = ord (A)
185186 PARADOJAS DE LA TEORIA DE CONIUNTOS [cari
Por consiguiente, A es isomorfo a una de sus secciones iniciales. Asi, pues, el concepto de conjunto de
todos los ntimeros ordinales lleva a una contradiccién con e] Teorema L1-8.
CONJUNTO DE TODOS LOS NUMEROS CARDINALES
Sea of el conjunto de todos los niimeros cardinales. Entonces, para cada cardinal a af hay un
conjunto 4, tal que «= # (4,). Sea
Pea ete Ae
Considérese el conjunto potencia 24 de A. Nétese que 24 ~ 4g iz», gue €5 un subconjunto de 4. Por
consiguiente, 24 ~ g se puede también leer:
(a) p implica q le) pes suficiente para g
(6) p solamente si g (a) ges necesario para p
FI valor de verdad del enunciado condicional p + g resulta de la condicién
Va: Fl condicional p + q es verdadero a menos que p sea verdadero y g falso. Es decir, V. afir
ma que un enunciado verdadero no puede implicar uno falso.
V4 se puede escribir como tabla asi
Bjemplo $-1: Sean los siguientes enunciadas:
(1) Si Paris esti en Francia, eatonees 2 +2 = 5
(2) Si Paris ests en Inglaterra, catonces 2 + 2 = 4,
z G)_ Si Paris esta en Francia, entonces 2+ 2 = 4.
(4) 51 Paris esta en Inplaterra. entonces 2 +2 = 5.
Por V,. solamente (1) e5 un enuncisdo falso; los otros, son verdaderos.
BICONDICIONAL, p+ ¢
Otro enunciado corriente es ol de Ia forma ap si, y solamente si, g» 0 con una cémoda abreviatu-
ra, « ssi g». Tales enuinciados se laman hicondicionales y se les denota por
pea
El valor de verdad de los enunciados bicondicionales p+ g obedece # la condicion: ,
Vg: Sipy q tienen el mismo valor de verdad, entonces p e+ q es verdadero, si py q tienen valores
de verdad opuestos, entonces p «+ q es falso.
Ejemplo 6-1: Scan los cnuncisdos siguientes
1), Paris esté en Francia si, y solamente si, 2
(2), Paris est en Inglaterra si, y solamente si
I). Paris esté en Francia si, y solamente si, 2
/4) Paris esta en Inglaterra si, y solamente si,
Segin Vz, (3) ¥ (4) son verdaderos y (1) y (2) son falsos.190, ALGEBRA DE PROPOSICICINES Tear 4
Ve se escribe en forma de tabla como sigue
POLINOMIOS Y POLINOMIOS BOOLIANOS
Las sumas finitas (4+), productos (+) y diferencias (—) de las analererminadas (9 variables)
me
sometidas a las reglas usuales del algebra ordinaria, constituyen los polinomios en dichas variables,
Ejemplo 7-1: Los siguientes son polinomivs en dos indetermimadas
few = gee — rey st yryry tees = By te
Wau = @-weay = Pw
Si en el polinomio fix, y. .. .) se remplaza cada indeterminads por un numero real dado Xo. 9
respectivamente, la expresion
Sloitys <0)
que denota sumas, productos y diferencias de niimeros reales, es ella misma un nlimero real, Es decir. que
Six... $e consideran como cariahles reales, entonces el polinomio f(x." ...) deline una fancién
que hace corresponder un cierto valor fixe, Yo...) como imagen de los mmeros reales xo. yy
Ejemplo 7-2: Sean los polinomins del Ejemplo 7-1. Entonves
12,8) = 22-234 gdea tee = 4-64
3,1) = @-2+(a+1) = 24 = 8
Tea = a9
Las operaciones suma, producto y diferencia, definidas entre niimeros reales, inducen operacio-
nes semejantes llamadas asimismo sua, producto y diferencia entee polinomios,
Ejemplo 7-3: Sean los polinomios del Ejemnpio 7-1 Se tiene
Hew) ~ gtey) = Ot —2y4 ¥) - Gt)
flying) = (etary ty) Ay
Supéngase ahora que las letras
Pa.
que antes denotaban enunciados, sean indeterminadas, es decir. variables. Combinando estas variables
por las coneclivas A. v y ~. 0, con mas generalidad, por lus conectivas A, v. ~. = y =, se
construyen expresiones que Se llamun polinomios baalianes
Ejemplo 7-4: Las siguientes son polinomios buolianes en dos variables.
ip.) = -pv ia)
ol.9) = (Ponadng
¥ ademiis pueden empleurse los simbolos 4. v. ~. + y => como conectivas para los polinomios
boolianos; asi que se puede hablar de lt conjuncién, disyuncién y negacién de polinomios boo-
lianos
Ejemplo 7-5: Sean Jos polinomios boolisnos del Ejempla 7-4, Entonces
Kova) vlp.a) = [=Pv ip ail A [Ip ~a) 4 a}
19.9) > gimar = [=P aa) > Iwona aalCAP. 18] ALGEBRA’ DE PROPOSICIONES 191
‘Suponiendo ahora que cada una de las variubles p. y.... de un polinomio boobano (9. g. 9
se remplazan respectivamente por un enunciado particular denotade por pp. go. .-.. la expresién
Ho das---)
cs también un enunciado y tiene por lo mismo un valor de verdad
Ejemplo 7-6: Sean fip. g)— ~ pA (p91 y my 62 = 2 Soy qual +1 = 2. Bncnces Jy. dp) guie
fe decir
E24 y GPE I= S omomess, He 1
Por Ve fo = po > p £5 verdadero. Notese que Yo = ~)y es verhidero, Por tanto, par ¥).
be dol = %0 % ry © tambitn verdadero.
Observacién 14-1: Sea un polinomio booliane fip. 4...) y sean los enuneiadlos pj. gie --. Con el
mismo valor de verdad que los cnunciudes po. go... Entonces ftps da...) tiene
el mismo valor de verdad que fipo. Yo. - +
PROPOSICIONES Y TABLAS DE VERDAD
Definicién 141; Sellama propesicicin un polinomie booliano en his variables p,q... .y se ledenots por
Pip. geo he QP. Ge
© simplemente por ?. Q.
Por la Observacion 144. ol vilor de verdad de uni proposicién Pip. g. .. .) evaluado sobre enun-
ciados cualesquiera, es fimeién solamente de los valores dle verdad de los enunciades y no de los enuncia-
dos particulares mismos. Asi. pues. se-habla del «valor de verdad de cada una de las variables. p. 4.
y del «valor de verdad de la proposicién Pip. qe...
Una simple manera concise de mostrar la relacidn entre cl valor de verdad de una proposicion
Pip. q. ...) y los valores de verdad de sus variables p. g,....¢3 por una tabla de verdad. Por ejemplo,
la tabla de verdad'de ld proposicién ~ ip » ~y) se construye como sigue
Las primeras columnas de la tabla estin ecupadas por las variables p. g. ... En la tubla hay suficientes
filas para abarcar todas las combinaciones de V y F para estas variables. (Para 2 variables. como en
este caso, se necesitan 4 fas: para 3 variables so necesitan 8 filas y. en general. para variables se re
{quicfen 2° flus). Luego hay otra columina pura cada paso sucesivo del cileulo del valor de verdad que
se busea para la proposicion, valor que aparece en la altima column
La tabla de verdad de la proposicién anterior ~ip 4 ~q) consiste solamente en lus columnas
cencaberadas por las variables y la columna encabersda por la proposivion. asi192 ALGUMRA DE PROPOSICIONES [car 14
Otra manera de consteuir esta tabla de verdad de ~(p A ~) es le siguiente: Primero tracese le
tabla.
[of~ © » -~ 90
macsle
“9
Paso T TT
Escribiendo la proposi
riable 9 conectiva oni
uasos, asi
jon en ta fila superior a la derecha de las variables de la proposicin. Cada va-
‘bea una columna. Los valores de verdad se anotan Iuego en la tabla en varios
2) 2 [ena a p fiw | = Ub titan -
viv jada Tv vfyV¥ vy FIV
v|F v F vir ¥ vjr
Fly F |v ey PF riy
rir] je le rle| [el [yie
Paso 1 7 a fa be to
plal~ @ «a = @ plal-~ @ » ~ 9
viv? [vyFlF ly vOY Tey TPF
VF viviy fF vie|rily iv fv je
Fly riFri[riy rpov|ivfrorlely
ielobetele ly re lvie lel |e
Paso, fameser= | 2 pico fa [2 fa [2 fa
tabla de verdad de la proposicién queda formada por las columnas envabezadas por Jas variables
¥ por la altima columna completada en el altima paso,
TAUTOLOGIAS Y CONTRADICCION
Algunes proposiciones Pip, q. ...) tienen solo V en Ia altima columna de sus ta. 5 de verdad
Es decir, que la proposicion Pip. 9...) sera siempre un enunciado verdadero sean cuales fueren los
enunciades po, gos «-- verdaderos 0 falsos por los que se sustituyan Jas variables, Estas proposiciones
se llaman sawtologias
Definicién 14-2: Una proposicion Pip, g. ...) €8 una tatologia Si Plpo, do...) & verdadera para
cualesquiera enunciados Po, Yo.
De manera aniloza,
Definicion 14-3: Una proposicion Pip. q. ...) es una contradiectin si PCy. doy «»-)€8 falsa pata cus:
lesquiera enunciados po, go. . .- © sea que una contradiceiéa solo contiene F en la
ultima columns de su tabla de verdad
Ejemplo 81: La proposition ap ono po, es devir pv ~p es una twutologia, cosa que se verifies al consteuir
vuna tabla de verdad.AP. 14] ALGEBRA DE PROPOSICIONES 193
én, lo cual se ve por la tabla
jemplo 8-2: La proposivin «p y no p», es decir ps ~p es una contradi
p | -r | pa-p
vir F
riy F
Ejemplo 8:3: Un principio fundamental de! razonamiento logico. la ley del silogismo», dice que: «Si p im:
plica g ¥ @ implica r, entonces p implica r». Esto es, 1x proposicién
(p= a Atarril > re
es una tautologia, Lo que se ve por la tabla de verdad:
pla|Fi[@ +9 » @ + al|+|@ +
ee
vivje|vijvivjejvjele|vidviele
Vielyv|vir|F rie vivivivjviy
vielelvielefelelv|elvivfer]e
Flyilvje|vjJyJvjvjvjviydeiviy
Fly |rf/e|v|jvjrjvjejr[v|rjvie
Fle{vilelvjrjvljeflviyiyvjefy]y
Paso afatrfalsfelale[afele
En esta tabla se necesitan ocho filas para abarcar todas las combinaciones de V y F para
las tres variables p, 4 y 7.
Como una tautologia es siempre verdadera, la negacién de una tautologia sera siempre falsa, 0
sea que se trata de una contradicei6n; y viceversa. En otras palabras,
Observacién 142: Si Pip. 9, ...) ¢5 una tautologia, entonees ~P(p, g, ...) e5 una contradiccion,
y viceversa.
Sean ahora Py(p, q.--.), Palp. 4, ..-)-. proposiciones cualesquiera y sea P(y, q, ...) una tau-
tologia. Entonces P(p, q, ...) no depende de los valores particulares de verdad de p, q, . .. Por tanto,
si se sustituye p por P,, q por P; cn la Plp, q, ...) st tiene atin una tautologia. Dicho de otra
manera
Teorema (principio de sustitucién): Si Pip, g, ...) es una tautologia, entonces 5
PUP, Pay s+)
es también una tautologia para cualesquiera proposiciones P,, P;, -
EQUIVALENCIA LOGICA
Dos proposiciones Pip, q. ...) ¥ Qlp, 4, --.) se dicen logicamente equivalentes si sus tablas de
verdad son idénticas. Se denota la equivalencia logica de Pip. 9...) ¥ Qlp, g, ---) por
Op. a+ ++)
Pd
Bjemplo 9-1: Las tablas de verdad de (p> 9) « [9 +p) ¥ perv g son como sigue194 ALGEBRA DE PROPOSICIONES ear, 1s
a |ese
viv
F
9 vioF
Fv
Luves (waa p) = POm
Ejemplo 9-2: Las tablas de verdad siguientes muestian que p+ yy ~p ¥ q son ligicamente equivslenies,
aslo es. que py = sp yg
~pva
Y
F
V
v
Los teoremas que siguen son consecuencias de estas definiciones dadas en lo que precede,
Teorema 14-1: La relacién entre proposicianes definida por
Pp. a Op. 9.)
€5 una relacién de equivalencia. _s decir
(1) para todo Pip, a. -..). Pipe Pips ge os
Q) si Pp. Alp. ---}, entonces Bip. ge P= Pr Qe ok
si Pig = Ol ge dy Om g. Rip. ge) entonces
Pi ge VER Gd
Teorema 14-2: Pip. g.--.) = Olp.q....) si, y solamente si, la proposicién
Pip. gs Ver Oly)
es una tautvlogia.
Teorema 14-3: Si Pip, q....) ¥ lp, @-.) Son ambas tautologias o bien ambas contradicciones,
el Pog. OP. 4)
E] siguiente corolario es una consecuencia del principio de sustitucién en las tautologias y del
Teorema 14-2 anterior,
Corolario 14-1; Si Pip, g, .-.) = Olp. g. ...), entonces
PP. Pa
para cualesquiera proposiciones P,. P;.
DIP Prvee
Ex decir, que, si se sustituyen por proposiciones las variables en proposiciones equivalentes, las
Proposiciones que resultan son tambien equivalentes
ALGEBRA DE PROPO:
La
TONES
siguientes proposiciones son ldgicamente equivalentes:SAP. 14] ALGEBRA DE PROPOSICIONES 195
‘Veorema 144: (1a) py p = P (1b) pap =p
(2a) (pvayyr = pv (avr) ~ (2b) (Daa)ar = palaan)
(a) pva= vp (80) psa = an
a) pyaar) = (Pea)atour) (Ad) pau) = Pagv pan
(6a) pvf => (52) pave p
(6a) pyr=r (6b) pas =f
(la) py~p = (1) papa
(8a) ~~p =p (81) ~esf,~fer
(9a) ~(pvq) = ~Da-9 (9b) ~(pag) = ~pv~@
Este teorema se puede demostrar construyendo las tablas de verdad correspondientes. Aqui v y f
denotan variables que estan restringidas respectivamente 2 enunciados verdaderos y falsos.
En vista del Corolario 14-1. cualquier proposicién puede sustituir a las variables en el Teore-
ma 14-4 (excepto a © ¥ f, que solo se pueden remplazar respectivamente por una tautologia Vo por
una contradiccin F). Asi, pues, las proposiciones cumplen las layes de la Tabla 14-1 que sigue. Notese
la semejanza entre las leyes del algebra de proposiciones de la Tabla 14-1 y las leyes del algebra de con-
juntos de la pagina 104,
LEYS DEL ALGEBRA DE PROPOSICIONES
Leyes de idempotencia
te PuP =P 1. PAP = P
Leyes asociativas
2a. PvQ)vR = Pv(QvRy 2b. (PAQAR = PA(QAR)
Leyes conmutativas
ta PVQ = QuP ab. PAQ = QaP
Leyes dst hatiens
fa PY@AR) = (PV QaPvR) 4. PAQVR) = PAQVIPAR) A>
Leyes de identidad
Se. PUP =P Bh PAL = P
Ge. Puy =r a. Par =P v
‘Leyes det complemeato
Ta 1. PA~P =F a
Be 8. ~V=F, ~F
Leyes de De Morgan )
90, (PQ) = ~PA~Q 9. (PQ) = Pv =e
Tabla 14-1
IMPLICACION LOGICA
Examinese el siguiente teorema
Teorema 14-8: Si Pip, q. --.) ¥ Olp, 4, -) son proposiciones, las tres condiciones que siguen son
equivalentes
(1) ~Plp. de J ¥ OR. q--.) es una tautologia.
2) Pip...) A ~QUp, q+.) eS una contradiccion
GB) PYG...) > OBg...) es una tautologia.196 ALGEBRA DE PROPOSICIONES (car. 14
En vista del teorema anterior se puede introdueir la
Definicién 14-4: Se dice que una proposicién Plp, gq, ...) implica ligicamente una proposicién
Qlp. q «+s lo que se escribe
Plp, qs») Qlp, ds «+ )
si se verifica una de las condiciones del Teorema 14-5.
Ejemplo 10-1: La proposicion «p implica gy g implica r» impliea Wgicamente la proposicion ap implica ro,
pues, como se muestra en el Exemplo 5-3,
(7a n@7n] + wn
5 una tautologia. © lo que es lo mismo,
> aA(a>n > pre
Ejemplo 10-2: Considérese I tabla de verdad de
Sees ees we Ye)
iB Vivato webr ie |) Vv iv |v
vielvleleleleivijv |r
x 5 « Cwl|vielri[vie|rl[ri|viy
: lC/e\elelelelely lel |e
5 Hed wie et 2 2
Obsérvese que (p 4g) 4 ~(p v 4) cs una contradiccién; Iuego pa g=p vg
‘Teorema 146: La relacion entre proposiciones definida por
PIG) WP H+)
es reflexiva, antisimétrica y transitiva, es decir:
(1) P(g, ---) > PRG...)
(2) Si P(p,g, ..-) > Q(P, 9, -+-) ¥ QP. +.) > Ply, ds ..-), Entonces:
POR, G, -+-) = AP, G ».-)s
8) Si Pipa...) > Qa.) ¥ UDG.) > Re
POR, a, -..) > RR, «.
Vale también la condicién siguiente:
Entonces
‘Teorema 14-7: Si Pip, g, ...)=> Qlp. g. ...) entonces, para cualesquiera proposiciones P;, P,,
PUP Pay) OUP ts Pas)
Es decir, si una proposicién implica logicamente otra, la relaci6n sigue siendo valida cuando se
sustituyen las variables por proposiciones arbitrarias en las proposiciones originales
Observacién 14-3: Considerando los simbolos
ays
Pip. 9, ---) > OP. G+)
es precisamente una proposicién y que su tabla de verdad solo puede contener
o bien Vo bien F en la dhtima columna. Pero
Pip, 4 --.)> lp, 4, ---)
define una relacién entre proposiciones compuestas, a saber, que la proposicién
eee Pip gs) > OD)
solo tiene V en la ultima columna de su tabla de verdad, o sea que es una tautologia.
obsérvese quecap. 14] ALGEBRA DE PROPOSICIONES 197
Observacién 144: Considerando ahora los simbolos
sy
obsérvese que
PIP, go 1 OP G6)
es también precisamente una proposicién compuesta y que su tabla de verdad
puede tener en la tiltima columna tanto V como F. Pero
P49...) =O...)
define una relacién entre proposiciones compuestas estableciendo que Pp, 9, .-.)
y Olp, 4, --.) tienen tablas de verdad idénticas, 0 lo que es lo mismo, que
PIG 9 QE G+)
solo tiene V en la ultima columna de su tabla de verdad. Siendo asi que, hablando
en pura Idgica, no cabe distinguir entre dos proposiciones equivalentes, hay
autores que usan el signo = en vez del =
ENUNCIADOS LOGICAMENTE VERDADEROS Y LOGICAMENTE EQUIVALENTES
Se dice que un enunciado es ligicamente verdadero si ve le puede derivar de una tautologia, es de-
cir, si el enunciado es de la forma Plpy, go, .--). donde Pip, q, ...) es una tautologia.
Fjemplo
‘Sean los siguientes enunciados:
(1) Esti Toviendo,
[2} Esté loviendo 0 no esta lloviendo,
El primer enunciado puede ser verdadero: su valor de verdad depende de condiciones extrin-
secas al enunciado mismo, es decir, del tiempo climitico. Fl segundo enunciado es Idgicamente
verdadero, ya que se puede derivar de la tautologia p v ~p. Es de ver que su valor de verdad
no depends de condiciones extrinsecas al cnunciado mismo,
Asimismo, se dicen légicamente cquivalentes los enunciados de la forma PlPo. gor ---) ¥ QlPos
doy «-) Silas proposiciones Pip, q....) ¥ O(p. qs.) Son Wegicamente equivalentes,
Ejemplo 11-2: Como ~(p 4 q) = ~p v ~ q.elenunciado «Noes verdad quel rosas son rojasy ques vio
letas son azules» es logicamente equivalente al enunciado elas rosas no son rojas 0 las viole=
tas no son azulesn
Observacién 145: Téngase muy en cuenta que el propésito principal de este capitulo es el de mos-
trar que los polinomias boolianos, o sean las proposiciones, junto con sus tablas
de verdad, tienen ciertas propiedades algebraicas. No se ha tenido Ta intencién de
analizar los fundamentos légicos de los supuestos aqui atilizados,
Problemas resueltos
ENUNCIADOS:
1, Sean p «Huce frfo» y q «Est Moviendo». Deseribir con un enunciado verbal las siguientes
aserciones:
ql) ~P ©) p> ~o Q) ~~¢
(2) pag ©) av~p (10) (p»~a)>p
Q) pva ( ~pang
Gasp (8) De~q
caso, transctibit A, V, ~, > ¥ + por ay, co», «es falsa que» o uae, xsi... entonces» y «si, y Solo
sin, respectivamente, simplifcando luego la oracidn,los
ALGEBRA DF PROPOSICIONES [cap 4
ly No hace fro.
2) Huce fri y esta lloviendo.
(31 Hace frio 0 esta loviendo.
(4 Esta Moviende si. y solo si. face Iria
(5). SI hace fio, entonces no esti lloviende.
(6) Esti lloviendo 0 no hace fia,
(1) No hace fio » n0 esti Tloviendo,
(8) Hace rio si. ¥ solo si, no esti lloviendo.
(9) No es verdad que no esté lleviendo.
(10) Si hace frio y no esta Hloviendo, entonces hace fio.
Sean p «El es alto» y 4 «Bl es galin», Escribir los siguientes enunciados en forma simbolica
con py q
(1) Eles alto y galan, (p49)
(2) Eles alto pero no es galin] pA~ 4) .
(3). Es falso que él es bajo o gulin, ~ CPV)
(4) El no es ni alto ni galin. vpo~.
» Ess shot estan ‘anita ph-pn a pag)
) Noes verdad que él es bajo o que no es gukin,
qa ij 0.q a “ov \
Solucién:
Mera ~ @~Cevay (8) pvi-pag ”
QB pranmaq y GB npang @) ~-py a
Determinac el valor de verdad de cada uno de los siguientes enunciados compuestos
(1) Si3-42= 7 entohees4+4=8 pe
@) Noes verdad que? +2=Ssiysolosid+4= 10. poy =
(3). Paris esti en Inglaterra o Londres esti en Francis
(4) Noes verdad quel +1=30que2+1=3
(5) Es falso que si Paris esti en Inglaterra, entonces Londres esta en Francia,
Solucion:
(1) Sea p03 + 2= Ty sea ged +4 = Bo, Notese que pres falso y g es verdadero, Segen V4, p —+ 4 6s verdae
dero. Es decir, ol enunciado propuesto es verdadero.
0) Sea p 2 + 2-= Si, sca gad +4 = IU» y sear ep soi gp. Es claro que p y y son falsos: Iuego por Vg p> 4
es verdadero, esto es. r€s verdadero. Come res verdadero, el enunciado. que es Ia negaeiGn de r. es fils.
(3). Sea p «Paris eta en Inglaterray y q «Londres esta en Francia». Evidentemente p y q son falsos: por tanto,
segiin V3, el enunciado dado, p v 9, es falso,
(4) Sea p al +1 = Jv yg a2>1= 3», y sea ry 0 gn. Nowese que p es falso yy verdade
por Va. 2 vq quc es r. es verdadero. Como el enunciado propuesto ¢s ~r, ¢s false
(5) Sea p «Paris esti en Inglaterra» y g «Londres esté en Francian y sea r «Si p entonces g>. Siendo p y 4 Falsos
entonces, por V,, p — ges verdadero. esto es, yes verdadero. En consecuencia. el enuineieda prapwesto, ~r
es false,
TABLAS DE VERDAD DE PROPOSICIONES
4
Hallar la tabla de vefdad de cuda proposici6n.
Q) pag (3) (pag) (pv a)
2) ~p>~4) (4) ~@agdy eon)CAP. 14] ALGEBRA DE PROPOSICIONES. 199
Solus
w
pla|-»| -rre atel~ » a ¢
vivjrl F rn
virir] Fr virl|rivijele
rilyiv] oy eivivielyvdy
as rlei[v[riele
uo [2 fafs [a
Metade t Meiocke 2
®
Pia|~e | -~e | ~o-~9 pla|[~ @# + ~ o@
vivir F v vIvIV]*]FlFly
vjelyv V F vielelyvivivfde
Fly|ri v F rFlylF[riv|rly
elejv | v F rlelrlieiviv fe
veo fa fas [2 fa
Mitado £ Método 2
®
pj alrra|rve| wadrwvea ele |@ a @ > @ v o
i V viv Pye ye
meee titleist:
ElVelewe fey |v Fhy|ri[rj/vivirl]v]y
rlefetr| oo sleisitiel[sls|>
a rT
Método P Mévodo 2
Seve que (p a @) *(pv 4) es wna tauioloeia
«
vagy ~arn
F
v
y
Meta
~ wo aay 2»
Pivi[vjvlF v
virlriy dy F
sfifelita 1
Mésode
Por lo general, si una proposicién es muy complicada, con el segundo método se invierte menos tiempo
¥y espacio,200 ALGEBRA DE PROPOSICIONES (cap. 14
Hallar la tabla de verdad de cada proposicién
() pray ~ (pe ~a) Q) pa (~av ns xa v Or]
Solueién:
a
2 | ee =e ee
a
vir{virlelelelv]viv fe
rivjelv{vdvfelefviely
Fieije|vielvivle vie
rao [1 [a2fi}fs}4la]sl2]a
@
= i Disses Soe a et
vIY>*DF®TFDY YY TP ley
PY |e) Bae ey pe ve |
vielyiviyv|vlele|yv]e]e |v
vyiel|vjele|ele|viv|v}y |e
Fly}vivielelvi[vjFelyv|e ly
FV | Eee Viv |r ir fv iP
viel|vi|yJejeleiviely|e ly
vielvielv[vlefelelel|v ie
z[1| spr lets|s}«lifsle ta
NEGACION
6. Verificar, por tablas de verdad, que la negacién de p ag, pv 9. p> gy pr+g es logicamente
equivalente a ~p v ~9. ~p A ~q. PA ~G ¥ per ~G 0 ~p ea, respectivamente, Es decir,
verificar que
(0) ~W 4 9)=~py ~@ (Ley de De Moran) © 3) ~( > a)spa~9
(2) ~@vgqhs~ps ~q (ey de De Morgen), (4) ~(peqhsp~g= ~pey
Solucion:
a
a |e fone | wre | ~»| 0 | ever
viv] v F F ¥
viel F v Fly y
riy| F v vir y
rirl F v viv v
ie Rae,
®
nia [eve | -@ve | ~p | ~a | ~pr~a
viv v F FF F
vir} y F Fiy F
rily| ov F vier F
rir] F v viy y
he eet
@)
_» [a |e | ~p+o | ~@ | rae
vpv]v F F) F
vir|r v vioy
rly] v F rl oF
rlel v P viorCAP. 14] ALGEBRA DE PROPOSICIONES. 201
2
8
“
Verificar: ~~ p = p.
Mediante los resultados de los Problemas 6 y 7, simplifcar las siguientes proposiciones
() ~(pv ~a) (3) ~(pa~a) (8) ~(~peq
(2) ~(-p>a) (4) ~(-p aa) (8) ~(-p > ~a)
Solucién:
Q) ~@y~) = ~po
@) ~(-p+9) = -pa-g
(8) ~@a~a) = ~pv
@) Kop ~a)
6) ~-rod
6) ~(-p>~a)
Simplificar los siguientes enunciados.
(1) No es verdad que las rosas son rojas implica que las violetas son azules.
(2) No es verdad que hace frio y esta loviendo.
(3) Noes verdad que él es bajo o galan.
(4) Noes verdad que hace frio © que esté oviendo.
(5) No es verdad que si esta lloviendo entonces hace frio.
(6) No es verdad que las rosas son rojas ssi Jus violetas son azules
Solveién:
(1) Sea p eLas rosas son rojas» y sea g wus violetas son aaules», El enunciado dado se puede denotar entonces
por ~(p > 4). Por el Problema 6, ~(p -+ q) = p s ~4. Asi que el enuncindo es Iogicamente equivalen-
te a «Las rosas son rojas y las violetas no son azules
@) Como ~(p a g) = ~p v ~g este enunciado es logicameate equivalente a «No hace frie 0 no esta lo-
vendo.
G) Puesto que ~(p v g) = ~p A ~g, este enunciado es Iogicamente equivalente a «El no es bajo y no galén».
(4) Notese que ~(~p vg) = ~~p A ~g= eA ~q. Asi que el enunciado, que se puede denotar por
~(~p v gh donde p es «Hace flo» y es Esti Hovienda», se puede escribir «Hace frio y no esta llo-
viendo»,
(5) Como ~(p—+ 4) = pa ~g, et enunciado se puede escribir «Esti loviendo y no hace fri.
(6) Coma ~ (p+ 4)
tas no son azules
+ ~ q.este enunciado es légicamente equivalents a «Las rosas son rojas ssi las viole-202
ALGEBRA DE PROPOSICIONES
EQUIVALENCIA LOGICA
10.
mM
2
(1) Demostrar la ley asociativa: (Png)
(2) Demostrar la ley distributivasp v (gar
Construyendo una tabla de Verdad-para-cade 30"
Solucisn:
wu
[2
4
wpaaar fanr
wamacccely
waccaa< clo
a g. ~y ~p.
lo que, mediante una tabla de verdad, se puede demostrar que es valid. El arguinento dado es, pues, vilido.
RECIPROCA Y VARIACIONES
6. Hallar y simplificar: (1) Contrarreciproca de la contrarreciproca de p —+ g. (2) Contrarreciproca
de la reciproca de p ~+ g. (3) Contrarreciproca de la contraria de p + g.
Soluckin:
(1) La contrarreeiproca de p > ges ~g >
que es la proposicién condicional original
(2) La reciproca de p + q es q+ p. La contrarreciproca de q— p es ~p— ~g, que es la contraria de pg
(3) La contraria de pg es ~q— ~p. La contrarreciproca de ~p > ~ges ~~q-+ ~~p=q>pquecs
la reciproca de p> 9.
La contrarresiproca de ~q + ~pes ~~p+ ~~:
ra
7. Averiguar la contrarreciproca de cada proposicién.
(1) Si Juan es poeta, entonces es pobre.
@) Solo si Marcos estudia, pasara el examen.
) Es preciso que nieve para que Enrique esquie.
(4) Sixes menor que cero, entonees x no es positivo,
Solueién:
(1) Nétese que la contearreciproca de p ~» q es ~q > ~p. Por tanto, la contrarreciproca dela proposicién dada
fs «Si Juan no es pobre, entonces no es poeta.AP. 17) RAZONAMIENTO LOGICO aI
10.
n
10,
1"
2
(2) La proposici6n dada es equivalente a «Si Marcos pasa el cxamien, entonces ha studio». Por mio. la eon.
tratresiproce de la proposicida dada ¢s «Si Marcos no estudia, eptonces no pasa el exanten>,
(3) La proposicidn dads es equivalemte a la proposicion Si Earigue esquia, entonces he nevadon. Luca la
contrarresiproca os «Si ao ha nevade, entonces Farique no esquiario.
(4) Nétese que la contrarreciproce de p+ ~q es ~~y > ~p = 4 > ~p. Luego la contrurrecinroc de la
propasicién dada es «Si x es positive, entonces x no es menor que cer
Problemas propuestos
Determinr fa validee de ts argumentossiguiemes:
Q) prgre~e bb remp {DQ po ogeroeg Ep oer
Enconttr anaeonclusén adccuadl'a tis prey didac de modo que e arpumemo:sen vélid
) pr~aa OQ pr~areg @) pr~gnP tr) pr m~ar ES
Determinar la validez de cada une de los siguientes argumentos para cada conclusién propuesti
1). Ningin profesor es rico. 12) Todos los poetas son gente interesante
Algunos poetas son ricos. ‘Aura 5 una persona interesante:
(@) Algunos poets son profesores jay) Aura es poets
(6) Algunos poetas no son profesores (5) Aura no es poeta
1G) Tostos los poztas son pobres.
Para ser maestro. hay que ser graduado,
Algunos matematicos son pactas,
Ningun graduado es pobre,
Ga) Algunos tatemateos ao son maestros.
(6) Algunos maestros no son matemiéticos.
{c) Los maestros no son pobres.
(2) Algunos matematicos no son pobres.
fe} Los poets ne son maestros.
(/)_ Si Marcos es graduado, entonces no > poeta,
(4) Todos Jos matemiticas son personas interesantes.
Aleunos muostros venden seguros.
‘Algunas fildsofos son matematicos.
Solo la gente que no ¢s interesante se pone a vender seguros,
Tal Algunos flgsafos no son vendedores de seguro.
Ib} Los vendedores de seguros no son matematicos.
(c) Algunas personas interesantes no son maestros.
(a) Algunos maestros ne son flesofes.
(ec) Algunos maestzos no son personas interesantes
roca de la reeiproca de p>
a contrarresiproca de p>
Hallar: (1) Contearreciprora de p> ~g. (3) Contac
(2) Comearreeiproca de ~p +g. (4). Reciproca
Hallar ja contrarrecipcoca de cada una de las siguientes proposiciones:
(1) Si 4 Gene valor, ganar
Q)_ Es preciso ser fuerte pura ser marinero.
(3). Solo si no se cansa ganara
(4) Es suficiemie que sea un cuadrado para set un reetingulo.
Respuestas a los problemas propuestos
(0) valida) falacia a a
(1) (a) falacia, (6) vilido (3) [a) vido, (6) falacia, fe) vilido, (i) Falacia, te) vélido, (9) viliéo
(2) {a} falacia, (H) flaca (4) fa) valida, (6) valido, (e} falacia, (| falacis, te) valido
() ga~p Qaese GD ~nse pre
(1). Si @1 no gana, entonces no tiene valor,
(2) Si al no es fuerze, entonees no es marinero.
3). Si el se cansa, emtonces vo ganar.
(4) Si no es un rectingulo. no es um cuadrado,lets. 181
Algebra
bootiana. 216
de cireuitos, 218
He conjuntos. 104
de funciones numérieas eales. 118
ide proposiciones. 194
Anterior, 160, 217
Aplieacién, 48
Argumento, 225, 226
Valigo, 225
Aserciones, 187
Saioma. de cleccién, 170
de extension, 7
Bicondicional, 189
Biunivoea, correspondencia, 134
Boole, George. 216
BuraliForti, 185,
Cantor, Georg, 134, 185
teorema de, 139,
Carrol, Lewis, 225
‘Cestado respecto de una operacién,
31. 122
‘Cirevite conmutador, 218
en paralelo, 218
en serie, 218
Chreuitos, 218
Clase de conjuntos, 4
Clases de equivalencia, 107, 108
Cadominio. 45
‘Complemento de un conjunto, 19
‘Composicién de funcienamienio. 48
Conclusion, 225
Condision, 208
Conectivis, 187
Conjunsién negativa, 208
Conjunto. 1, 187
cociemte, 108
de validez, 208
aulo, 3
potencia, 5
producto, 66, 70
solucién, 62
totalmente ordenado, {St
universal, 4
Conjuntos acotados, 35,
bien ordenados, 166
INDICE
Conjuntosacotados, comparables. 4
‘enumerables. 135
equipotentes. 134
finitos, 2. 133
indizados, 105
infiitos. 2. 135
isomorfos. 155
parcialmente ordenatios, 151
‘Conmutativo.
diagrama, 116
ley, 108
Contiene, 3
Continuo. 136
Contra ejemplar. 210
Contradieeién, 192
Contrarrecipcoca, 227
Correspondercia biunivoea, 134
‘Cuantificader existencial, 209
universal, 208
Cuantilicaderes, 208, 227
Decimales, 32
Definido, |
De Morgan, 104, 210, 217
Desigualdades, 139
Digrama, de coordenadas, 67
de funciones, 116
lineal de conjuntos, 6
Diagrama de Vena, 5, 225
Diferencia, de conjumios, 18
simétrica, 131
Disjuatos, §
Digyuncign, 188
exclusiva, 204
Dominio de definicién. de una fun-
cidn. 45
de imagenes de una funcién, 46
de imagen de una relacion, 86
de una relaci6n, 86
Dualidad, 105, 217
Elemento, de, 1
de un conjunto. |
inyerso, 122
rmaxial, 153
minal. 153,
eutro, 121
Enteros, 30
Enunciado, $1, 208
‘condicional, 189, 227
forma. 81, 208
232
4£0Ud0¢
Enunciados, compuestos, 187
simples. 187
Estrictamente, anterior, 151
superior. 151
Extremo, inferior. 154
superior, 154
Fslacia, 225
also. 187
Familia de conjuntos, 4
Forma tabular de un conjunto, |
Funeisn 45. 9. 87
caracteristicas. 119
constants, 47
de conjunto, 117
de eleccidn. 119, 179
identica. 47
inyectiva. 47
Producto por eomposicion, 48
recipraca, 50
sobreyectiva, 47
‘unciones fogicas, 208, 21
snumericas reales, 118,
Geometris euclidiana. 6, 70
Grafo, de una funcién. 67
de una relacién, 82
Hipétesis del continuo, 140, 181
Ieuatdad,
‘de conjuntos, 2
de funciones, 46
de pares ordenados, 66
Inagen, 45
Implica, 189
Indeterminadas, 190
Induecién, 166
transfinia, 166
154
én, 18, 106
Intervalo, abierio, 34
cerrado, 34
infinito, 35,
Intervalos, 34
Involucion, 217
Isomoriismo, 155Lema de Zorn, 180
Ley, asociativa, 104
‘dé absorcién, 221
de idempotencia, 104, 217,
de identidad, 108
dei complemento, 104
distributiva, 104
Leyes, 104
Lagien,
equivalencia, 193
implicacién, 195
razonamiento, 225,
Maximo dominio, regla del, 118
Mayor que. 33
Mayorante, 134
Menor que, 32
Minorante, 154
Médulo, LOS
r-tuple, 70
Necesario, 189
‘Negacidn, 188, 209
No, 188
acotade, 35
comparables, 151
‘cnumerable, 135
‘Numero limite, 167, 170
Numeros, algebraicos, 147
‘cardinates, 137, 180
-completos, 31
icraeionales. 31
ordinales. 163, 180
naturales, 31
negatives, 30
positives, 30
primos, 3
Facionales, 31
reales, 30,
0, 188
Operacién binaria, 120
Opersciones, 120
‘sociativas. 121
INDICE
Operaciones, distributivas, 121
Operador, 46
Orden,
bien ordenade, 166
de los plimeras reales. 32
inverso, 151
lexicografico, 151
raturul. 150
parcial. 150, 218
tipo de, 156
toual, 151
Par ordenado. 66
Paradoja de Russell, 185
Particién, 107
Peano. 5
Pertenencia, 2
Polinomies, 190
boolisnos, 190
Potencia del continuo. 136
Powencias de niimeras cerdinales,
138
Precedente, 167
Premisas, 225,
Primer elemento, 153
Principio de sustitucisn, 193
Producto cartesiano, 66, 70, 179
Protongacion de uns funcién, 116
Proposicidn contraria, 227
Proposiciones, 108
Reciproca. 227
de una funein, 49
Recta real, 30.
Relacion, 81, 83
‘antisimétrica, 85,
reciproca. $4
reflexiva, 84
simétrica, 84
transitiva, 85
Relaciones de equivatencia, 86, 108
Restriceién de una funcién, 116
Reticulo, 218
233,
Schrixder Bernstein, teorema de,
140
Seecién inicial, 157, 168
Siguiente. 16, 167
Silopismo. ley del. 193
Sistema de los niimeros reales, 10
Ssi, 189
Subconjunto,
de unt conjunte, 3
ordenado, 152
totalmente ordenado, 152
Sucesion, 135
Sufieiemz, 199
Sopers, 151
Supereonjuntio. 3
Supremo (sup, [$4
Tabla de verdad, 191
Taurologia, 192
Teorema de la buena ordenacisn,
1x0
de Schroder-Berastein, 140
Teoria asiomatica de eonjuntos, 6
‘Términos no definidos. 6
Transformacién. $6
Tricotomia, ley de, (40
Unign, 17, 106
Universo del discurso, 4
Vacio, 3
Valor absoluto, 32
de verdad, 187
Verdadero, 187
y, 187
Yio. 188
Zermelo, postulado de, 180
Zorn, lema de, {80* La teoria de conjuntos se encuentra en los fundamentos de
la matemética, que explicita o implicitamente, en todas sus ramas,
utiliza conceptos de la citada teoria, tales como los de funcién y
relaci6n.
* El presente libro se divide en tres partes: la primera, contiene
una introduccién a las operaciones elementales con conjuntos y un
estudio detallado de los conceptos de funcién y de relacién; la
segunda, desarrolla la teorla de los ntimeros cardinales y de los
ordinales, a la manera clasica de Cantor. Trata también de los
conjuntos parcialmente ordenados y del axioma de eleccién y sus
- equivalentes, incluyendo el lema de Zorn; la tercera, abarcatemas ©
que, por lo comtin, se presentan asociados a la teoria elemental de
los conjuntos. j
* Ademés aqui se estudian muchos de los aspectos que no
pueden abarcarse en el programa de la mayorla de los primeros x
cursos, con el propésito de hacer el libro mas variado, para que sea
més Util su consulta y para estimular un ulterior interés en los
temas. a
e
rita