Вы находитесь на странице: 1из 13

CAPITULO

Pero adems necesit.anos saber tarnbin cuando es vlido dc-

LOGICA

Y TEORIA DE CONJUNTOS

Inttoducti6n

disciplina, incorporamos a nuest.ros co nocilrientos ya existentes otrcs nuevos. pero para poder en ,tgnder "Io nuevo", en a1gn monent necesari.amente tuvinos qtre. reducirlo a relaciones entre io ya.onocido, o sea, t.uvi mos que expresar 1o nuevo medj.ante los conocinienios va teni d.os. Este hecho tan natural, es una de las caract.eristicas ns importantes de1 estudi.o de la Matentica.
Cuindo estudiamos una

cir que algo ha sitio <ienostrad.o o d,icho <ie otla forna,- necesit.anos establecer, una o varias reglas especiales que nos pernitan deduci.r leyes a partir de otras leyes s situacio nes especiales que se verifiquen.
Estas ltimas reglas las llamaremos Reglas d.e de<luccin y ccmo vererios ns.

adelante darn origen a los llanados

Met6<ios

cie Denostracin.

Sin

enbargo,

no es conveniente para un novicio abord.ar Ia

Matemtica en

este sentido, 10s conceptos atemti.cos se definen etr trminos de otros ya definidos. Sin ernbargo, este hecho no pue de cumplirse siempre, puesto que los primeros conceptos no tendrn otros ateriores a e11os en trminos d.e los cuales de finirlOs. A estos conceptos que no se les d.efine en forrna explfcita se 1es Ilama concepcos prinitivos o elementos primi rivos. Asimismo, las reglas o leyes, se iieducen de otras que a su vez pueden demoslarse de leyes anteriores, pero siguiendo
En

estricto rigor, es d.ecir, abordarla respetando rigutosanente e1 principio de secuencialidad a partir de sus origenes. Las razones fund,amentales de esta inconveniencia, son por una parte, 1o abstracto y rido de 1a presentaci6n, que exige del estudiante una mayor madurez Matemtica y una gran .motivacin para Derse&rr no obst.ante las <iificultades que en el camino encuentre,y por otra parte,el excesivo tiem po requerido para realizar acusiosamente y en rigor todos 1os
desarrollos.
Teniendo presente 1o

e} razonamiento encontTamos que las primeras leyes no pueden deostrarse, por no haber otras anteriores a e1las con los
cuales hacerlo
Est'es

priueras leyes cuya eleccin es arbitraria y que no se denuestran, se les llama Axiomas o Postulados y constj.tuyen 1a base de la:construccin terica.
Venos entonces, que para

anteriorme[te sea1ado, la finalida<i que tiene este primer captulo es presentar infornal e intuitvamenEe aunque secuencialy consistentemente el lenguaje bsico que se usar para desarrollar los temas de Matemticas que se estudiarn en 1a Universidd.

l,:i,1..

iniciar 1a construccin de una Teorla, necesitamos elementos prinitivos y Axiomas o sea reglas o propiedades que son satisfechas por Los elementos primitivos.

tr.:,'._ I&*i,.;

---'
,... ..,
.

ta . .^.

<ie una
i. LUBiL

Una

se le pueproposicin es una aseveracin a Ia que sdlo falso de asignar dos valores de verdaita saber'verdadero

proposicin arbitraria y cualquiera p hay dos al'"ernativas, sias son que p sea vercladera o que p sea falsa'
i{eciio que anotaremos de 1a siguiente forma:

y no
l.

ambos sinultneanente'

Pi _l
V1
I

leInDIoS

son proposicioneg:

F1

4 es un nmero Par
E1 Sol Eiene forma de cubo

no son ProPosicfotres:

Si 1a proposi.cin l: es una Dropos ic i'6n conrpr'r('"s tlI r Ia que pa::ticipan 2proposiortes arbitrarias p yq Por tljcnrplo' reg cirenos tantaE alternati-vas para eI valor 11e v'errlrlrl clc r, como se nuestra a contiil.racin:

'

No seas asf
Cun<lo haremos

Ia

Prueba?

I
i{
h

a comprar clulces
F F

V
F

ambas verdaderrs

r' s' t ' " etc' Usaremos convencionalnente las Letras P' 9' para referirnos a proposiciorlcs cualesquiera'
Llamaremos

verciadera 1a
f

Ia. ProP. Y falsa la

2a

V
F

alsa 1a 1a. Y ve rriaciera La Za' 4 ulternativas'

ambas falsas

conectivos a ciertos simbolos que nos permi'"en de modo tal relacionar o Yincular dos o mis proposiciones que se genere una tercera'
Llamaremos

En

eI caso

Ce dos proposiciones, tuvimos

En e1 caso de

tres proposiciones' tenenos B alternatrvas

proposrci6n compuesta a aquella que est' formada conectivos' I;lamarepor dos o ms prcposiciones unidas por al valor verdadero o nos valor de verdad de una proposici6n

s lr
V

Las tr-es verciaderas


r

V
F F

falso que ella intrfnsecmente le corresponda'


depende El valor de verdad de las proposiciones compuestas que de los valores de verdad de las proposiciones
F

v
.F

nicamente

v
F

1a fornan
Segn

y de los conectivos que contengan'

la deflnicj'6n ile proposicin' para e1 valor de verdad

Las tres falsas

i.r.q*--i--*- '' |risf ffi*q*-*-

.\,

i i, ,. i Introduccl
I

a"rra*j
t

tt n proposiciones, las arrernarivas son 2r1 ::":::::, -son a:*areEos rabl.a de verdad a una Ea bla que contiene los vaio_ rs de verdad de proposicin coopuesra """ para rodas tas at_ ."r,;:r:-_::_: cernativas generacias por 1os posiblr :s valores de verdad'de las proposiciones que la.foraan, taPucial inters tienen las proposiciones ras -_^-^-. coorpuesras foraadas pcr ;"-;""'"_::^"::".tt"""" Cos proposiciones unidas por un conectivo, Dues .JU r.l.n las 615 resoectivas constitu-r'en 1as defini'ciones de los conectivos .
_

Tabla General
p

P^q
V t
F F

pvq
v
V V
I

p-q
V
F

PIc
v
r
F F

xl

v
I

-ts

ii

v
f

\
F

!' v

v
v
F

v
V

-- ---que

---

tenrier ".'

I
lhre

coNEcrrvos

redur nos que dos. Es ms impc, te , inos dl


En
es

Sfnbolo proposicin

s Lee --..- ;e qpuesEa Ccrmpuesfa Ccoo

conjuncin ^ Di.,--^-. v Disyrrcidn

p^o,

Desaipcn de 1a oro posicin cepllesta _ originada.

0BS.: o - q suele leerse somo p como D,." .,_j es condicin suficrente q. u, condicin necesaria para p. ur.u orr. :^r: : esta proposici6n oe Ieer justifica se con eL oiguien_ te ejemplo.
Ej

Pyq pog '

enplo:

n,,^. pvq:

.effi.#""9
terdaderas'.

-'au,roposicinque

ConsidereTtos 1as proposiciones

p : Jos es Chileno q : Jos.es


Anericano

de

cump: tendr Tti^^jrinirl,


-=.-^^

il:'fffi.Htr." proposi.cionespoqes
P

Esr.rna-prcposicinq'e

-'q:

rerdadera.

:;f f*lffi"S,
p eQuivale a

",, hfr*.,.it
*s
de vetdad

:l 8 ff".
d"

i
I

Asimii

., .*us.ve Disncin
Adens usaremos

^"

Es verdadera ioda'rez

p = q es una proposi.ci.on verda_ dera o sea "Si Jos es Chileno entonces Jos es Anericano,,. Dicho de otro nodo, basta eue Jos. sea ttil"o chi.ta-^ n"" _-_ asesurar que Jos ., n*u,:..u,,;;;";":""^':^::"
ci6n suficiun." oulloo;"';:,;'::.,ff:,;;:::,";:.:,":",,1,", condicin suficiente para
q,,.
Tambin podemos

Observe que en nuesfro caso

p;;.

::,j
I [ t I f. tl
li

" *"_i;;iffi:i"oo,,

*,"ff.ttIiml#_

den4 .u"l
Egti
dcn

el sfmbolo que al star cnk_^ ..-p define una nueva Erroposicin "uyo valor de verdad es menre exacta_
e]_

afj----

sea chileno

conrrar.o a1 de p.

r
,i

P1a \\ 'l

. ",
Vonos'*;*--.

nodo, que Jos sea Americano es condj.ci6n necesaria para que Jos sea Chi.leno (N6tese que es condicin necesari.a y no sufi ciente, pues si sabemos tan solo que Jos ", "r".i."r,"';";: denos asegurar que Jos6 sea chileno.

", ,..j;:;#:";""

::.:..", sea Anericano, o de otrs

Qu, para que Jos

l'ra'neccaitanose1enentosprimitivos}xxrui,l,.a.----...,-l.*''.'... primitivos' o nronicd;} 0"" son satisfechas por los elementos N*

\]

'

_*_lil

'1

.2

Teui:oioeias fundanenteles
Conmutativida<1

y suficiente p F q suele leerse p es ccndii:n necesaria para q, o t.:mbin P es equivalente a q'


es: Diremos que una proposicin ccnpuesta

.1.

i) ii) ili)

tP^q) ' (q^P) (pvq) ' (qvp)

TAUTLOGIA:

Si es sienpre verdadela independientelente que la fcr de los vaiores d'e verdao de las proposiciones
man.

(P'q) '

(q-P)

-CoNTRADICCION:SiessigpreaisalncieendentglElEecielos..aicres de verdad de las prooosiciones que i-a fot:rn'

i)
i1l

i, ,
li

(q
(q

CCUINGI-\CTA:

Si no es Latologia ni conrradiccin

'

, ..,! - [ip , q)"r] ^')l -Ltp c) ^r]


^

convencionalnente Para el aniisj"s 1gico de proposrciones F a cuaiqui-er anotaremos o reenplazaremos con el sinbolo

Distributividad

i) ii)

tpv(q^r)1

r [(p v q.) ^ (p v r)
r)

Contradiccin

nul ,nisrrro nodo anoEggrcs o reemplazaremos con


cualcluier Taurologia

ei simbolo

tp ^ (q v r)l *l(p^q)v(p"

t.

Leyes de De llorgan

Ejercicio:

Derernine el varor de verdaci u" o lur" orru,

i) ii) 5.

(r^P)=1qv"r) sea rerciadero si r es falso' Cornoresfalsotenenosque(F.p)eSfalsg,puest,o conectivo-"4" que para ser verdadera la proposicin' e1 luego la pro exige que ambas proposiciones sean vqrdadera'' (a.v F) 1o posicin [r ^ P) - (q v r) qued"a reducida a F'= que segn 1a des cual es verdadero independiente de q, ya proposicj'n de cripcin de p * q anteriormente hecha' una (hecho que la forma p = q es Falsa solo si p es verdadera ennuestrocasonoocurre)yqesfalsa.Porlotantocual es vert quiera sea e1 valor de verdad de p' (r p) = (q r) d.adera si r es [a1sa'

(p v q) -tp ^a) (P q: -(P "l

IdenPotencia

i) ii)

(pv
(P
^

p) p)

'p
no

Incluirns tanbin tautologias qlle tencia.

corresponde a idemPo-

tp

^ q1

tp.^

IP

vql

Fl*F lpv Fl *P

tp^ vl [P v VI

Tans

itlvldrd f(p .
q)

L1anarenos

*k

variable a un smbolo que pued.e ser sustituido


d,el. universo

i) ii)

. (q:r)l

(p-r)
lD o -'t

por cua.l.quier elemento

t(p -q) . (q-r)l

Absorci6n

L1anarenos@ a una expresi.n que conti ne una o ns yariables que al ser sustituidos poi f.especti elenen!os cualesquiera d.e U, tia origen a una proposicin. Notacin: Escribir.emos por una funcin protosicional, p(x) o p(x,yJ segn sear una o d.os 1as variables. Si a. es un cierto eLemento d.el Universo iaI .:lue al reenplazar x en 1a funcin proposicional origrna una proposicin verdadera, entonces diremos que,,a,,saEisface p(x) o siqr plemente que p(a) es verd.aderal \
ejeoplo, Sea U eL conjunro de los .r,*""o1 .Lr,a..o".

i)
CBIBO
t' Q0

lpo tp^

(p (p

^ q]l -

ii)
.

Yq)l -p

Slerr

Negac iones

ffir
+b'i

Po

P,,

o.

nlt

'[pvq] (pT-o * (p'q)


q)

(F=

ln

cs

(-q;
Adems:

-(p^q)

nlnor

(p *g) *-(ivq) (p *q) *=, (i :

trnara{

i)

flnlr
rxplf
tlvos
As it

9.

Reglas d,e Deduccin:

x es par,, es una funcion. prooosicional Notanos que la expresin anterior no es p,l-oposici6n, pero si reer:oLa=amos x oor 2, 1a transformamos en 1a pro posicin "e1 nmero 2 es par", que es yerdadera. "El
nmero

Entonces:

p(x).

i)

ir)
Cabe
for,as

tp ^ (p - q)l' q lq ^ (p=q)l -p

MoDUs PoNENs

ruonusroLENS
1as
en

vz

p(x) p(Z) es verda<iera. Por otra parte p(-t) es falsa d -1.no satisllace p(x).
Eiemplo.: Sea

Luego, decimos 2 satisface

6Ir
dcno
EUa

indicar que efectivarnente i) y ii) corresponden a

de deduccin que normalne[te usanos, pero escritas

p(x,y): ',EI nflero x es rxenor que el nrloero

y,,

s fnbo 1o s

1.5 Cuantificad.ores
Para

el conjurto e los nmeros'reales. 'La proposicdn p (-1, -8) es.falsa.La proposicin p ql , 1., verd.adera.
U

los desarrollos poste.riores entenderemos universo U cono una colecci6n de elenentos a los cuales hacemos refe-

Por Ia negaci6n de una funcin proposicional p(x) escribiremos @ 1o cual a su vez es una funci6n ptoposicional

rencia.
,,1
Vr
i

rft,
,. 0 Dfop L*
.

Eiemplo: Sea U eI conjunto de los nmeros enteros y consi.deremos 1a funcin propcsicionf p(x) dada por ,,E1 nrnero .:

11

es Par", la negacin de p(x) est:,. . dada por ,,E1 nmero x no es parr'; podeaos ver en nuesro caso querpuesto

que

el universo referencia es el conJunto de los nmeros enEeros y estos nrimeros tienen 1a propledad de serpaes o inpares ex_ clusivamente, o sea, x es par x ca lrupar exclusivamente, po_ denos decir, que p(x) talobin corresponde a la funcin propo_ sicional "El an3mero x, eE lptrrr. las finciones proporfcfonales es posible incorporar dos nuevos sfmbor'os, 11"-do curntlfrcadores, en nuestros d.esarroIlos,
usando Hay dos formas de curntff,l,cr uria funcin prooosicional de una va_ riable, stas son ls atlrtancfl y universal.

en el universo hacen que p (.r) sea vcrdtdcrr o ,at trlttf. cen p(x) -

Esta propoiicin rambi.n pued,e cscrf birso Vx f g, p(x), y es falsa cuando no oculre quc todo, 10 x cn l unlvrrro satisfacen p{x), o sea es fals cundo hry rl manot un alg mento en el Universo lI que no satisfr ptx) lO qUc rn rfm bolos escribimos3x e U;p-(i).
Luego, hemos llegado a cLones cuantificadas.

Ia siguiente oqulvrlcnclr da propott. xe


UrO-6)-

7x e g; p(x) *3

a) Cuanrificador Erfltnctel (3

Si p(x) es una firrcln propoalclonal en U, entonces Ia expre_ sin que se escribeJxn(x) .r una prooosiein. Se lee ,,existe tal que p(x)t', y s'tgnffrca que hay ar 'x menos un cierto erementotHren el urfvero, dl oodo que p (a) es.verdadera.
Esra proposicin tetrbtrn la escrlbiremosl x u;p (x) 10 que reeremos "existe x en U tel que p(x) ,,,, existe x pertenecient.e a tal que p (x) ,'.

vcr qua lr proportcln 3xe Uip(x) es falsa roda vez que no exista algdn clcntnto x en U que satisfaga p (x), 1o cual es oquivalentc daclr que todos 1os elenentos de U no satisfaccn p(x), lo quo on snbolos escribinos V x e U; pl--xj. _.j , )
Con 1o que llegamos

Razonando en forma semejante podemos

a que

lx e u;plxj : Vx U; FG)
sntesis p;; ;;g., una proposici6n cuntrfl,cada basta canbiar e1 cuantificador y negar la funcl6n proposlcional esto es:
En

Ejemplo: Jxe { , z, 0}/x2-r=o ; es una proposicin ,rerdaderJ pues si x = -1 entonces (-I)2 - t = 0. b) Cuanrificador Unfversal ( H ) si p(x) es una funcr6n proposlcional en Lr .ntonces 1a expresin, que se escribe; Vx; p(x) es una oroposicin- Se lee ,,para too,x; p(x)" y slgnifica que todos los elementos x

a) :E-=-fEfxl -vxu;i;l b) fTEtrEfxl +fxu;p[


I

Anl0gamente

a 10s desarroll0s anteriores cuando ras funcrg nes proposicionales son de dos variables es posibte curntlf! carlas de cuatro distintas forroa5, e saber: ,i 1.,, fi,

/\

q'li

.'#r,'

1.4 Sobre 1a

Ej emplo

demostracin

A nedida que se adentra en el estudio de una Teoria Matemtica nos encontranos Con proposiciones intuitivanente verdade-

Si

deseanos denostrar que

la proposicin

h^(q^r)).-r[(p^r)^q] es rna Tautologfa, podemos susftulr (q ^r)por(r^q)en ( la proposicin, ya que (q^r).:r(r^q) es una Tautologfa (connutatividad del " ^ ,') Luego, nuestra proposici.n original con La sustitucin queda [p ^ (r ^ s)] .:> [(p ^ r) ^ q]
Pero esta ltima proposicin, gue por Ia Reg1a de SusEitucin

ras, cuya veraci.dad para ser establecida rigurosanente sita de una denostracin formal.
Podemos

nece-

decir que denostrar una proposicin, es obtenerla de los axiomas haciendo uso de las reglas de ded.ucci6n. Una vez demostrada una proposicin, la llamamos Teorena.
Naturalmente que pars.denostrar una proposicin, pod.emos ha_ cer uso de proposiciones enteriores ya demostradas (Teorenas), ya que aI estar demostradas, tales proposiciones son consecuencias de 1os axiomas y por tanto a su vez tambin 1o se_ rn sus con'secuencias,
En generai "todos aquellos antecedentes que se permite usar para denostrar una proposicin constituyen la Hiptesis.

es equivalente a la original, es uria Taucolog{n (Asocatividad) del "^", por lo tanto nuestra original proposicin

[p ^ (q ^ r)1 .*, [(p ^ r) ^ es una Tautologfa { \} \rO ,t


\ 0r."

q]

La proposici6n a demostrar constituye 1a Tesis.


Hay nurnerosas

sustituir, usamos una Equlvalencia conocida que es Tautologla, en general toda equtvaLencia que sea TauEologla provee una posible sustitucin.
En este ejemplo, para

reglis de deduccin, sin embargo, nos intere_ sa expecialme,nte estu<iiar y destacar e1 uso de l"as si.guien_
tes:

b) llodus

?onens

Esta regla consiste en deduclr la veracldad del consecuente


eada vez gue son verdaderos un6 lmpllcacfn

a)

y su antecedente.

Regla de sustitucidn

Lons]'ste en reenplazar en lma proposici6n, cualquier proposici6n qu ella coltenga por otra equivalente, 1.o que origi_

c)

Modus Tolens

Esta regla consLstc en dduclr la f,alsedad del antecedente cada vea que eB vcrdadera una lrnpllcaein
cuent6

na una nueva propsicin equivalente a la prirner4 an sirnbolos si f(p, q, r) es ura proposicin que depende de las proposiciones pr e ) ry adems q*5 entolces f(p,q.r)*f(p.s-r)

y es falso su

conse-

1.4

Sobre

la

Ej emplo

demostracin

A nedida que se. aderitra en el estudio de una Teora Matemti_ ca nos encontrrmos con proposiciones intuitivanente verdade-

Si desearos demostrar que la proposicin

h^(q^r)1.-r[(p^r)^q]
es ra Iautologfa, oodemos sustftuir (q ^ r) por (r q) ^ la proposicin, ya que \ (q^r)<-r(r^q) del rt ^ rr) Luego, nuestra proposicin originaL con la sustituci6n [p ^ (r ^ 9)] .:> [(p ^ r) ^ q]
es una Tautologfa (conmutatividad
en

ras, cu)a veraci.dad para scr cstablecida rigurosamente sita de una demostracin f,ornal,
Podemos

nece-

decir que domostrar une proposici6n, es obtenerla de los axionas hacicndo uso ds las reglas de ded.uccin. Una vez denostrada une proposlcin, 1a llamamos Teorema
Naturalnente que par8 dcnortrar una proposicin, podenos ha_ cer uso de proposicionc ntoriores ya demostradas (Teoreruas),

queda

ya que al estaf democtdrs, tares proposiciones son co,,.ecuencias de 1os axioms y por tanto a su vez tambin 1o sern sus con'secuencies.
En general todos aqucllos antecedentes que se permite usar para denostrar une proposicin constituyen la Hiptesis.

Pero esta 1tima proposicin, que por 1a Regla de Suscirucin es equivalente a la original, es una Taut,ologia (Asociatividad)

"^", por Io tanto nuestra original proposicin [p ^ (c ^ r)i .-, [(r ^ rl ^ q] es una Tautologf.a q \^rr*h0 ,t
de1

no""
sustituir,
usamos una

La proposci6n a dcmostrer constituye 1a Tesis.


Hay numerosas

Equivalencia conocida que es Tautologf.a, en general toda equivalencia que 'sea TauLologfa provee uaa posibl-e sustitucin.

En este ejenplo, para

regls do doduccn, sin embargo, nos interesa expecialme,nte estudlar y destacar e1 uso de 1as siguien_ tes:
Regla de sustituci.n

b)

Modus Ponens

Esta
cada

a)

regla consiste en deducir la veracidad de1 eonsecuente vez qe son verdadros una implicacin y su anrecedente.

Consiste en reernplazar en urra proposicin, cualquier proposicin que ella contonga por otra equivalente, Lo que ori.gi_ na una nueva proposiCidn equivalente a la priner4 en srnbo_

c)

Modus Tolens

Est,a

los si f(p, q, r) es posiciones pr g I ry

regla consiste en deducir la falsedad del antecedente cada vez que es vetdadera una irnplicacin y es falso su consecuente.

rma proposicin que depende de adens

q*5

ras proentorces f(p,q,r)*{(p,s,r).

1) 3x e

i' 3leUp(x,y1

0BS.:

Usaeros tambin

eI

smbolo

2) J x Uiv y U;p(x,y)

t"f
Eiemplo: Se A = {1, -1, Z} y B la proposici6n:
YxeA;
cA
=

I ,^t, denotar x' {0, -1,1i il

,,No

exis-

3) Yx e Ui V Y eU;PCx,Yl

4) Vx U; 3Y eUP(x,I) 0BS-: i) ii)


Cabe destacar:

JYeB; xz-Y2.1 es falsa

ya que si x = I entonces tonando y = 1tx2-y2 = 0 < 1


Eventualmente 1a vari,able

puede tonarse en una parte

A de U mientras que y se tona en otra Parte B de U'


Las proposiciones que no pueden

si x =il entonces tomand.o I

=-.1

rx2-y2 = 0 <

4 y D son distintas, esto significa connutarse 1os cuantificadores'],y.t

fero
pues

x = z entonces !I!;l_1r, r 22 - o = l; 2z - (-1)2 = si z2 - U)2 =j


sj.

Este hecho 1o destacarenos con un ejenplo "En todos los pases hay una ciudad que es capi.tal". Es una proposici6n de 1a forna Vx, 3y. Si invertimos los cuaritificadores queda una frase de 1a forma ff Vx, I'Hay una ciudad que es capital de todos 1os pases'r.
Es evidente en e1 ejenplo,que 1as proposiciones son dist,intas.

luego es falso que para todos 1os elementos de A, existe un elenento en Y ta1 eue x2-y2.1,(yz que coto vimos para x=2 no hay elementos yB tales que posicin es fa1sa, La negacin de 1a proposici6n es:
x2

-yz. 1) pol

1o

.tanto 1a pro-

t/e; ]yB;xr-y, .1 - f xA i YyB;

VyeB;.x2 -y2

La negaci6n de proposiciones condos.cuantificadores


forrna sernejante

e.s

an1o-

ga a la de proposiciones con um solo,pudiendo mostarse en

hiciera con proposiciones con un cuantificador que en ilefinitiva consiste en cambiar 1os cuaL ticadores y negar 1 funcidn proposicional,
como se

1) ffi)
2) 3) 4)

vxeAi3rer;flf-,Tl
Vx

3x Aif y Bp(x,I) -

e; vyeB;[-(fr])

lxe A i fyeB/p-Iil)
Yx s A 3y e EiP(x,IJ c !x A; VYeB;p-(Ql

La nayor parte. de los. Teorenas que dernostraremos y usaremos


tns adelante son proposiciones. de

la

for:na P

* e, o sea

c) representan forlas de deduccin natural que eo nuestra vid.a cotidiana y normalmente. usrtros para .razonar en cualquier actividad. Los teoremas, leIes o en general 1as inplicacio[es que se usan en 1as distintas activiades son producto de la experiencia. Cabe indicar si, que el uso de estas reglas no exime de errores en las conclusiones, pues estos errores pueden surgi-r de una nala apreciacin de que ocurra "p" o de1 uso de una implicaci6n falsa.
Tanto

b)

como

rrsi p entonces qt', o proposiciones reducibles a esa forna, cono eI caso de p + e, quc puede escribirse (p * q) ^ (q * p)
Para denostrar cStc tipo ile proposiciones existen varios rtodos entre 1os quc 3e cuentan los siguientes:

A.

DE},OSTMCION DIRECTA

Consiste en obtcnor nodiante rma sucesin de proposiciones


encadenadas por RogIas ile Deduccin, directamente "qi' como consecuencia de: ttp",1os Axiomas y los Teoremas anteriores ya denostrados.
E

.,!

I
;

Ejenplo:

la siguiente proposicidn t'si 1lueve entonces los techos se nojan" (p o q) .


Usaemos coto vLida (cono Teorema)

,i

{t

Si verificanos que 11ueve entonces'concluinos que los techos estn mojados usando b) de1 siguiente nodo:
Llueve, pero cono "si Ilueve entonces los techos se mojan" quiere decir que necesatiamente 1os techos estn nojados.

ienpLo

;f l"

Demostraremos ocupando

este ntodo eI siguiente teorena de la geonretra clsica: 'rsi o, B I Y son 1os ngulod interiores de un tringulo ABC entonces s + B + Y ='1800".
Axiomas que usarenos en

la demostracidn:

Un ejemplo del uso de c) es e1 siguiente: Se sabe que los techos no estn nojailos, luego puesto gue trsi llueve entonces los techos se nojan", podenos concluir que 'rno 11ueve" (pues de llover necesarianente l-os techos estaran urojados, hecho que no ocurre)

Axioma

1: Si A y B son puntos distintos en el plano' eotonces existe una nica recta que psa por ellos'

Axiona 2: Si L es urta recta y A un punto fuera de e1la, entonces existe una nica recta L' que pasa por

4 y no se intersecta colr L (Lr es paralela a L).


Aprovecharemos

este ejenplo para aiivertir de tma falacia 16gica muy frecuente. Si se sabe que 1os techos estn rnojados
entonces no podenos concluir de

Denostracin

ello que necesarianente 11ueve, pu.es los techos podran estar mojados po! alguna otra causa que no sea .la lluvia.

1)

Sean

A,

C puntos

d.istintos en eL plano que no estal

en una nisma ecta. Sean g, B y y ngulos interiores


de1 tringulo ABC fornado.

B.

DEVOSTBACION INDIRECTA

En este mtodo hay que


z)

distinguir dos casos:

y B son prmtos distintos, Iuego usando eI Axioma -l podemos concluir que:


Sabenos que A Por. 1o

aJ

Por contraposicin, que no es ms que ocupar La cquivalenci a:

prtos A y B pasa una nica recta

que desig-

(p=q)e(d*F-)
Es decir si logramos denostrar q : l, entonces hemos demostrado en virtud de la equivalencia anterior que p + q.
Ej enpLo

narernos L.
5)

la recta L, I C rm punto fuera por Axioma 2, pod.emos conclui-r que:


Te[enos

de

ella,

luego

Por el punto C pasa lma nica recta, que designaremos

L; paralela a la recta L.
4)

Sea

x un nmero enterc, rlenostraremos la proposicin rtsi x impar, entonces x es impar" usando el ntodo indirecto por
contrapcsici6n.
Demostracin

es

B = 6 y d: t.r porteorendelasparalelascortadas por una secante (supuestamente denostrado antes).


0r +

5) 6)

y + 6 = 1800 (forman un

ngu1o extendido).

4) nediaate sus tit,uir u.r y 6 por o I B respectivamente en 5), Se tiene que s,+ B y = 180o" Ndtese que en e1 desarrollo se han usa<Io las Reglas al y b).
Usando

proposici6nttsi x2 es impar, entonc--s x es inpar,'puedg escribirse en la forma (p *q) donde:


La La proposicin

p es "xx es impar" (o sea ['es 1a proposicidn

trx2 es par").
La proposicin q es "x es inpar" (o sea {'es Ia proposici6u ttx es par") .
Usando

Las Reglas b) y c) se pueden generalizar usando 1a trarisitividad de la imp1icaci.6n. si se verifica p, y si:

p + q; q + f; .,..; v +u son teoremas, entoDces se concluye w. Anlogarnent.e si se verifica il, y si: p +q; q * r;...;

contraposicin sabenos que si demostranos tq * F: significa demostrar (p * q), luego demostrarenos 1a proposi-

cin

(l * F).
esto significa demostrar que "si x es par,

v +w son teorenas entonces

se

concluye F.

En nuestro caso

entonces

x2 es partt.

"x es par" equiwale a decir que :< puede escribirse ea 1a foraa x.'= 2n donde n es un nmero entero, luego *2 = 1zd)2, o ,"" *2 = 4nZ = z(zn?) por lo Earto x2 taobiu puede escribise en Ia foraa x2 = 2m con m entero ltn = Zn2) o sea, equivale a decir qo" *2 es rm nmero par. b) Por reducci6n aI absurdo: consiste en ocupar la siguiente
equi.valencia:

((p -, q) <:> [(p ^ {)) *, r]


La demostraciu de esEa eguivalenea queda de eJercicio
Como

se ve, para dmostrar que p -> q, basta demostrar que (p ^ d) -> F, es decir, baeta demostrar que a partir d.el antecedente p y de 1a negac{n del consecuente q se llega a uua

contradiccin sL esco se logra, se tiene demostrado p -> qEj euplo

indirectos, corrsasten er deuostrar en forma directa una proposicin que es dLsEinta a (p :> q), Pero gue a su vez es equivalente a (p -t q) En e1 caso de contraposicin en vez de, (p -> q) denostramos (q *, ). En el caso de Reduccin al Absurdo en rzez (p -> q) deuostramos la proposicin (p ^ {) -, f. El Ltioo tipo de prueba indirecta gue aaalzareqos ser eI denouinado contraejemplo, que se utiliza pa.ra deurootrar l"a no universalidad de un postulado, Por ejeup1.o, pera probar que !'oo todos los hombres son inmortalesl baste probar que existe uno que es mortal. Para deostrar Ia fal.sedad de "Todas las utrjeres son baJas" basta demostrar que e:<lste una mtrJer alta. Sf quereoos demostrar que la afiroecitr:
Ntese que Los mtodos

En

la figura se quiere deoostrar que el ngulo o es igual a1 ngu1o B, o sea 0 = B. En este caso se sabe que o+y - 1800 Y que Y +B = 180' p 1a proposicin u*y - Bty que se conoc coao eierEa. Sea q la proposici6n a- B. llay que demostrar que a*y= B*y :> e-8, o se p -> q. Lo deostrarenos por reduccin a1 absutdo para eL1o debenos rrabajar con p y { y conclulr una contrediccin. cono { es o*8, flJBareEos y a ambos oiembros
Sea

t'Si n es enEero entonces. 3n=1 es p8!", es fa1se, baita probar que ex!-ste un enEero n ta1 que 3n'f 6s lmparr pala esto podemos considerar, enEre otro, n - 2.
Observe 1a

relaci6n que existe de lo ar:rterior con la tautologfa:

=!m@f

<E>

3 xctt; p(il-

de esa desigualdad obteniendo:

a+y t B+y o sea . Se ve claro que en este caso se curnple p y edems i o sea p^!. Luego cooo (p^i.*1 F heoos demostrado que (p Q -, F o sea que p -> q. ^

Z, 2,1

mismos elementos.
Con i

untos

2.2
Introduccin

Algebra de Conjuntos

Lg! nociones de conjrurto, elemento y perterencia constituycn !.as nocones prinitivas fuadanentales de la Matemtica.
Pfocisamente uno de 1os logros de 1a Matemtica en er siglo XX os d,emostrar que con solo estas nociorr", posible desa_

referencle U cuelqulere, eI que llrurrrnor Universo de referencia, y un f,uncfn prooortcfonl p(x) dafl_ nida para elementos de U, podeuo obttntr un nuGvo conJunto A,
aquel formado por todos 10e craqrnior x dr u gu eEfafcen la funcin proposicional p(x) .
como

Dado r:n coajunto de

", rrollar toda Ia Matentica. Esto explica porque 1os concep_ tos de conjunto de elementos y de pertenencia a wr conjunto penetren tanto en Ia Matentica tfoderna constituynd,ose en factor de cohesin y unidad.
Bn

Asl

poCeuos

describir el conjr.rnto A como:


1o que leemor

= {xauil (x)}

estricto rigor 1a nocin cle conjunto es ua noci6n no de_ finible, sin enbargo, no obstante su indefinibilidad explcita, la consi.deraci.n de todas 1as propiedades que 1os
axiomas 1e confieren permi.ten hacer una descripci6n

A es el conjunlo de aquelJ.os eleEenEos quG attln rn U tles que P(x) es verdadera. si x satisface p(x), rntonce docfmoe que x pertenece a A y 1o anotauos x.A. S,t x no rrtlrface p(x)
decimos que

i.ntuiti-

va de su naturaleza.

x no esr en A, anotado {A. Ademra sf x no sattsface P(x) entonces x satisface ffi), t,r"go c e eneuentra en er conjurito que rene a los elsentos que saELrf.cc FG), A este conjunto le llamaremos compremento de A y Io dlnoEaremos por:
A = {xeU/p(x)}

lntuitivamente, un conjunto es una agrupaci6n de objetos, los cuales se llaman eleneatos de1 conjunto. Si un objeto (olemento) se encuentra en un conjuuto se dice que pertene_ go a 1. De aqu notamos, que un conjunto est determinado (dofinido) cuando disponenos de a1gn me<iio para poder decidtr si un objeto cualquiera est o no esE en 1. Br importante indicar que no existe un conjr.urto que conten8l rrtodos" los conjrmtos, pues eL suponer su existencia rlnifica una contradiccin. Tar contrad.iccin es r-a 11anadr Prrrdoja de Russell". !tfbhceromos tanbin en esta introducci.n que dos conjuntO on lurlcs s'i y solanelte si tienen exactanente los

Si consideramos la funcin nroposicional p(x) FG) ^ el conjunto formado


{xU/P (x) ,.

enronces

ffi

es un conjunto que no tLene elementos. A este conjurlEo 1o 11etnaremos conjuuto vacfo y lo denotareoos por @,