b) CONJUNCION "paq”™ (se lee “pyq™)
Es una nueva proposicién que se define de tal
manera que resulta Verdadera (V) Gnicamente en el caso en que py q son am
bas Verdaderas , y en todos los demis casos es Falsa (F). Su tabla de verdad
“fe Te [one] samo
p: 1512 es miltiplo de 3 we (VW)
q: 542= 10 +. (FD
p-q: 1512 es miltiplo de 3
y5+2=10 » (F)
¢) _NEGACION a -- Es una proposici6n que cambfa el valor de
la proposici6in p, y cuya tabla de ver-
dad es
[> | a
d) CONDICEONAL "p + q” (Se lee "Si p entonces q * ).-
Es aquella proposici6n que es falsa dni
camente cuando la proposicién p (llamada ANTECEDENTE) es Verdadera (V) y
Ta proposicién q (llamada CONSECUENTE) es Falsa (F). Su tabla de verdad
“Toe [a [ena] tenbien se tees
implica q
solamente sf q
es una condicién suficiente para q
es una condicién necesarta para p
q a menos que vp
Es suficiente que p para que q
fs necesario que q para que p.
Se lee: "Es falso que p"
“No es cferto que p”
"“Nop"*.
--|é
v
F
v
v
eve
OBSERVACIONES:
- Segiin las dos Gltimas filas basta que el antecedente p sea falso (F) pa
ra que ta condicional sea verdadera (V), independientemente del valor de
la proposicién q .
- Segin las filas Ira. y 3ra. basta que el consecuente q sea verdadero
(V) para que la condicional sea verdadera (V).Cap.1 Légica 3
- SegGn la Gitima fila, sf tanto p como q son falsas, la condicional re
sulta verdadera.
EJEMPLO.- —Explique porqué tienen los valores veritativos indicados:
a) 2432623°+ - § 0+ [224 v (VZ, vemos que Ve= 2°/* - 2'/?
= 42, y por lo tanto V4 >/% es FALSA, ast como también te-
nemos que W¥G < 7% es FALSA, sin exbargo /2 >¥4 es VERDADERA pues
2 significa > 6 = . As, equivatentemente se tiene que
(F~ v) + EV v (F ++ ¥))
+
&
y segin una observaci6n respecto a las CONDICIONALES, basta que el anteceden
te sea FALSO como en este caso, para que toda la condicional sea VERDADERA;
lo cual se puede verificar completando lo dems si se desea.
JERARQUIA DE LOS CONECTIVOS LOGICOS .-
Cuando en una proposici6n compuesta se tie-
nen varios conectfvos T6gicos, las operaciones se realizan luego de colocar
los paréntesis adecuadamente.
PROBLEMA.~ Sean p,q, Tr. S$, M proposiciones l6gicas. Si el valor de
verdad de las siguientes proposictones (a) y (b) es FALSA:
a) [hip +g) er] + (sr), b) (>p) vq
2Cusl es el valor de verdad de (c) y (4)? :
ce) E(n+p)-+rJ ep . 4d) s + (p +n)
SOLUCION.- Analizando por partes: que la condicfona} (a) sea FALSA quie-
re decir que:
u(p*+q)>ries¥ ..(*) yque s-r es F.. (**) 5
ycom (~p)vq es F por (b), entonces p es ¥ y q es F , lue-
go p*q es F . Entonces, de (*): ~(p + q) es V.y por lo
tanto r es ¥. Luego, de (**): 3 resultaser F, yaque “r es F.
Asimismo, Ja condicional (d) resulta tambf€n ser VERDADERA pues su ante
cedente s es FALSO .
Notese que aqui no fue necesario conocer el valor veritativo de n.Introduccién al Andlisis Matematico
3 TAUTOLOGIA Y CONTRADICCION .-
A toda proposicién simple o compuesta que es sfem-
Pre VERDADERA para cualquier combinacién de valores de verdad de sus compo
nentes se le Tlama TAUTOLOGIA, y se le denota por una V .
A toda proposici6n que toma e] valor de FALSA para
todas sus combinaciones, sé le Ilama CONTRADICCION y se le denota por F .
EJEMPLOS.- La proposicién [((~p)vq)~ ~%q] + ~p es una TAUTOLO-
GIA:
-q [(~p) ¥q)+~q] + ~p
La proposici6n [(p ~q) vq] + ~%q es una CONTRADICCION (F) :
pia|[~a | p-a | (p-adva [(p~ q) va] + %q
vivj e v ¥
viFly F F
FilylF F v
FIFI Y F F
IMPLICACION LOGICA Y EQUIVALENCIA LOGICA .-
Se Tama IMPLICACION LOGICA (6 simplemente IMPLICA
CION) a toda condicional p + q que sea una TAUTOLOGIA, y en tal caso
a la condicional se le denote por p = > q - Por ejemplo, tenemos:
(((~p) vq)~~+q] => ~p . — ya tabla de verdad ya se ha dado.
Se Tama EQUIVALENCIA LOGICA (8 simplemente EQUIVA
LENCIA) a toda bicondicional Pp +*qQ que sea una TAUTOLOGIA, denotin
dose en tal caso, p => q . EVEMPLD: p-(pvq) =p :
p-(pvq)| p- (pv ag) o> pCap.1 Lagica
PROPOSICIONES LOGICAMENTE EQUIVALENTES .~-
Dos proposiciones p y q son EQUIVALENTES (6 LO-
GICAMENTE EQUIVALENTES) si sus tablas de verdad son idénticas. En tal caso,
se denota’ p = q Por ejemplo, (p +a) y (%q) + (%p) sonE
QUIVALENTES, puesto que sus tablas de verdad son id&nticas como podemos ver:
(~q) + (~p)
Por lo tanto,
p+ q = (vq) (~p)
jl AO ne}
AdEnticas
‘NOTA .- Esta equivalencia es muy importante en lo que respecta a demostra-
clones de teoremas y resultados, pues es el fundamento del llama -
Go METODO DE DEMOSTRACION POR REDUCCION AL ABSURDO 6 METODO POR CONTRADIC-
CION, que es una forma indirecta de demostracién, y que ilustraremos mis ade-
lante en este capitulo.
4 LEYES DEL ALGEBRA DE PROPOSICIONES .-
‘Son equivalencias l6gicas que las presentamos a continua -
-t=
cién, y cuya demostraci6n es muy facil construyendo sus tablas de verdad.
la. pvp =p lb. p-~p = p
2a. pvq = avp 2b. p-a = arp
3a. (pvq)vr = (pvq)vr wD. (parqh>r = p-(q-r)
fa. pv(qer) = (pvq)s (pvr), 4b. pa (qv r) =(p-q) v (p~r)
Sa. pvF =p 5b. p~F =F
6 pvV¥ =v 6b. p~V¥ =p
Ta. pv (vp) = V tb. p»~(*p) = F
Ba. wep = p Bb. wWliF, wFEzYy
sete) = Cm) ~ (9) eves De De MORGAN
%. ~w(p~ a) = (vp) v (vq)
Como es valido reemolazar una proposici6n por su equiva-
lente sin alterar el resultado, estas leyes ayudan a simplificar el problema
que se estd tratando de resolver.
Con este fin presentamos a continuaci6n una LISTA ADICIO
WAL DE EQUIVALENCIAS LOGICAS muy Gtil:Introducci6n al Analisis Matematico
Ww pra = (*p)vq . 2a. p+aq = (xq) + (vp)
3A. op -(pvaq) = p . 48. pv(p~q) = p
SA. p++q = (p rab-(a-p) -
6A. pq = (p-q)v [(~p)~(~q)] -
PROBLEMA.~ Simplificar las siguientes expresiones utilizando las Leyes
del Algebra Proposicional 6 ta LISTA ADICIONAL :
a) v0 Mp-q) + rq} vg
db) [((~p) +g) + (r~~r)] ~ xq
SOLUCION.- a) ~[~(p~q) + *a] vq
= ~[+(+(p-q)) v va) vg 1A.
= wE(p~q) vvalva Ba.
= [*(p-a)- rq} vq 9a,
= [(~p- ~a)- a] vq 9b.
= gv iq- (yp v xq) 2a, 2b.
2 q 4A.
b) [((~p) +4) + (ra vr)} ~ xq
= [((+p)- a) + fF] ~ +4 7b.
= [(-((~p} + @)) v FF] ~%4 la.
= (pv ~g)v¥ FJ) ~ rq 9.
(pv ~q)- ~a 5a.
~q 2b, 3a.
PROBLEMA .- Demostrar que la siguiente proposicién es una TAUTOLOGIA, u-
tilizando Tas LEYES 6 la LISTA ADICIONAL:
(pv ~q)~ a] +p
pour loN. ~[(pv ~q) ~a] vp 1A.
= [-(p v ~q)] v (va) vp 9b.
= [p)~@] v (~q) v p 9a.
= {@p) -a] v (pv aq) 2a.
= [p) ~q] v (~E(~p) + 9]) 9b.
= V_— (TAUTOLOGIA) Ta.
NOTA .~ Este método es m&s pr&ctico que el de las tablas de verdad.
PROBLEMA .~- Determinar si es que las proposiciones (a) y (b) son Equi
valentes:Cap.1 Légica =oF
a) prlrv~q) . b) (a> vp) v ({rr) + (~p)) .
SOLUCION.- METODO 1 .~ Oebemos verificar que tas tablas de verdad de (a)
y (b) son idénticas :
p= (rveg) | (a> ~p)v (er +
vp) v (vr + sp)
[(~q) v (vp)] v [(w~r) v vp)
(9) v (vp) v (rv ~p)
(mq) v [(~ p) v (epi) vr
= (~q) v (vp) vr = (xp) v (rv vq) a) tei Ave pe (deur) .:, 1F
b) (p> a)er zr Fo gy priqe+r): Vv
De (a): p*(q +r) : F entonces (~p)v(*q) vr: F- ,
de lo cual: vp, ~q, ro: F .y por Io tanto, Bi ae re tag
pero (p+ aq) + Fr =: Ves absuado. pues por (*) (p+ q) +r: F.
luego, {a) no se cumple, de modo que solamente se cumple (b), de? cual:
p+q: V y ro: F , de donde puede ocurrir que:
b1) op. qa: ¥o. ri F- entonces p-+(q*r): F (absurdo)10- Introduccion al Analisis Matematico _
b2) Bee cee ante eee entonces p+(q*r): ¥
b3) Pen aq OVA Pe entonces p+(q+r): V¥
asf vemos que para b2 y 63 la proposicién (a) resulta VERDADERA. |
NOTA.~ Mis atin, se puede comprobar que (a) es uma TAUTOLOGIA, mediante la
tabla de verdad.
SERIE DE EJERCICIOS PROPUESTOS .-
1. Demostrar las Leyes del Algebra de Proposiciones.
2. Demostrar las proposiciones de la LISTA ADICIONAL.
3. Demostrar que las siguientes Condicionales son IMPLICACIONES LOGICAS:
a) p == 2
b) [ip +a) -(q +r] => (p> rv) (TRANSITIVIDAD)
c) vp ==> (p +4)
4) Cip+q)- vq) = = ~p is 9) Cp~ 4) => (pva)
e) p ==> (pv q) h) (pq) => (p + q)
f) (p-+q) == p 4) (p + q) = (p+ 9)
4. Demostrar que son EQUIVALENCIAS LOGICAS las bicondicionales siguientes:
a) (p eq) = (rp) WG
b) (p++ q) <= (pa) - (a + )
c) (p-q)vp == p 4) (pyq)~p == p
e) vip +q) —= [a-~aql
5. Demostrar que: a) (p +q) = p-~(+Qq)
b) Fe p 2 V5 pP*F- =e wp 5s p+v 2¥
c) (p+q) = [(pvq) ++ q]
d) (p+ q) = [pr a) +g]
6. Dadas tas proposiciones 1) ~(p ~q) ++ [pv xq]
1) ~(p +4) + Epv ~q)
It) ~(p ++ q) + (vp s+ ~qQ),
indicar cu&l (es) es (son) una CONTRADICCION (F) .
7. iLa proposici6n a(p +4) - (q + ~r) es equivalente a cual (es)
de las siguientes proposiciones ? :
a) p-» (pv vr) » (q) b) pa (rq) [v(q ~r)]
c) (p ~ vq) v [K(par) ~ *q]).
8. i Alguna de las siguientes proposiciones es una Tautologta 7? ;Cap.1 Logica elle
a) ~[E(~(pvq)) + ~a] ++ (p +4)
b) vE(rp) + a] — (p+ a
co) vi(p aq) v Ep = (ep v Gl) } 2 (pr+eng)
9. Simplificar: L[(wp) aq + (r «= vr)]- (+).
10. Simplificar: [(~q + vp} + (~p + ~aq)] ~ ~(p~4)
11. ie las siguientes proposiciones cudles son Equivalentes entre sf ? =
a) Es necesario que Juan no estudie en la UNI para que Luis viva en el
Rimac.
b) No es cierto que Luis viva en e} Rimac y que Juan estudfe en la UNI.
c} Luis no vive en el Rimac y Juan no estudia en Ta UNI.
12. iCusles de las siguientes proposiciones son Tautologfas? :
a) [ip vy vq)-q]+ps 56) Elp-q) val + a
c) [(vp)~ (qv ved] + Ela ~ vp) v ~(p v rd)
13. De la falsedad de: (p + ~q)v(%r +s), deducir el valor de
verdad de
a) Exp - ~q] v (vq)
db) Urr vabaa] + [(ra vr) os]
c) (p +r) + [pv gq) ~~q]
14. Si se sabe que (p~q) y (q+ t) son Falsas, cuales de tas si
guientes proposiciones son Verdaderas ? :
a) (spvt)vs 3 b) +E p~ (vq v ~p)]
c) [(~p) v (q+ vt)] ++ [lp +9) ~ ~(q~t)]
15. iCu&1 (es) de las siguientes proposiciones es equivalente a : “ Es nece
sario pagar I/. 5000 y ser mip joven para ingnesar al baile" 7,
a) No ingresar al baile o pagar I/. 5000, y ser mis joven.
b) Pagar 1/. 5000 o ser mis joven , y no ingresar al baile.
c) Pagar 1/. 5000 y ser mis joven o no ingresar al baile.
16. St la proposicién: (q ~ ~p) +[(p~ r) vt] es falsa, hallar el
valor de verdad de:
a) ~E(~p v vq) + (rv vt)]
b) (%q ~ er) v [(vt) ~ (pv q)]
c)- (up > PE Agr J)
17. Demostrar que las tres proposiciones siguientes son Equivalentes :
a) vilav vp) v (q-DCrvvp]))18.-
19.
20.
ea
22.
23.
24,
25.
Légica
db) (p ~ xq) ~ ([>q] v (pv vr) )
ec) ~L[(vaqh > (vp))~0 q+ ~(p* r))
La proposicién (p vq) ++ (r ~s) es verdadera. Teniendo r y s va
lores de verdad opuestos, 2cuSles son verdaderas ? :
a) [(vp « »q) v¥ (r «s)] ~ pes Verdadera.
b) [rlpvq)~ (rvs)] v (vp ~ Qq) es Falsa.
c) {vr « os) + (pvr)] ~ «(r-~s) es Verdadera.
tCudles son EQUIVALENCIAS LOGICAS 7 :
a) ala + ~p) = (av p) -
bd) [(vp ~~q)v rq) + ~Llpva)~a)
c) “(p> a) Kpva)> rq]
Si pq _ se define pr (vp ~ %q), entonces v(p ++ q) la
cual es equivalente ? :
a) Urph+aq]vlgtp) . dd Elvep) +a) v [(~q) +p]
ce) [(~p) + (vaq)] v (p+ Q)
iCusles de las siguientes proposiciones:
a) v(p = ~1q ~ Fr) b) (p+ *qhvr
c) (rvq) ~ “(or aq)hy 4) (sp) vqvr
son equivalentes a: (p+ q)* r ?-
Si p+q_= significa "nl p yni q”. écudles de las siguientes
proposiciones son TAUTOLOGIAS 7 ;
a) (p+q)+ (at p) + (p~qgh. b) vlp~q) + (p+)
c) (p#q) ++ ~(pvaq).
iCuintas F y cuSntas V tlene el resultado de la tabla de verdad de
~[(p-~ 9) + ~r) ~ (sv ~s) después de simplificarla 7 .
Dada Ja proposict6n
z=: U(p + 9) + (pv (a-r))} + Lan (pvr))
a) Indicar valores de p y r tales que si q es F entonces z es F.
b) Indicar valores de p y r tales que sf q es ¥ entonces z es V.
Escribir la negaci6n de cada una de las proposiciones siguientes:
a) £1 no es rico, pero es feliz.
b) £1 no es pobre ni es feliz,
c) El es bajo pero Sgi1.
d) Ni Juan ni Carlos viajaran a Huaraz a fin de mes.Cap.1 Légica -13
e) £1 tiene un comp§s o una regla.
f) Ambos equipos Alianza y ta U irn a la Copa Libertadores.
g) Si Juan Vega a tiempo con los documentos, entonces ambos Carlos y
Pedro podrén inscribirse en la Universidad.
26. Si p, ar, S, t, w son proposiciones tales que
a) (p ~r) + (s + w) es verdadera,
b) (2w + 2s) es falsa
hallar el valor de verdad de las siguientes proposiciones:
c) (p-q)vrvs d) (s ++ ww) + (rv vp)
e) [Ct +(wv~p)) ~ »(p +r)
RPTAZ ow: F, s:V¥, r:V¥, pi: F , dedonde (c) y (4)
son verdaderas, mientras que (e) es falsa.
27. €Expresar la siguiente proposici6n compuesta de otra forma, utilizando
Gnicamente los sfmbolos + y + : (p ~q) v (rvs).
RPTA: (p + ~q) + (Cor) +s] -
28. Simplificar la expresi6n:
Yi > v2 ~ -8<0 > YE > V8 vIVVE < 172 + B>0).
29. Sin usar tablas de verdad determinar si las siguientes proposictories
son légicamente equivalentes entre sf :
(vs) + (vw) vf t+ (rw) y we [(vthvs).
1.5 RAZONAMIENTO LOGICO. ARGUMENTOS VALIDOS
Un ARGUMENTO LOGICO (6 simplemente un ARGUMEN
TO) es una condicional de la forma:
(ph) ~ Pp > =m) 7 9 co)
donde las proposictones Pye Poe cee e Py SoM Vamadas PREMISAS, y
originan como consecuencia otra proposicién q Vlamada CONCLUSION.
A) 1 Argumento (*) recibe e] nombre de ARGUMENTO VALIDO si dicha condi-
cional es una TAUTOLOGIA. Es decir, si
(p= pp ~~) 7h) = a -
B) Si el Argumento (*) es FALSO, entonces se tiene la Tlamada FALACIA,
TEOREMA .- Si el Argumento (*) es VALIDO, y las premisas py. Poe --+e
Dy» Son verdaderas entonces 1a CONCLUSION q es correcta (¥).Introduccién al Analisis Matem&tico
PRUEBA.- Siendo el argumento valido entonces 1a condicional (*) es una
TAUTOLOGIA (¥), en la que (py A poe P,) es verdade
va (V), pues cada Py lo es, de donde la Gnica posibilidad para q es que
sea verdadera (pues sf fuese FALSA, la condicional (*) serfa falsa y el ar
gumento (*) no seria VALIDO).
OBSERVACION .- Un argumento no se modifica si es que una o varias de las
proposicfones Pye Por vse» Pye Q Se reemplaza por
otra u otras que sean EQUIVALENTES.
NOTACION .~ Un argumento Dp > Ppt ee mR FO también se de
nota en la forma:
PROBLEMA.~ Demostrar que el siguiente argumento es VALIDO : Pp
Pen?
SOLUCION.- Por definfci6n, se debe demostrar que la condicional
Lp ~(p +9)) +4 — es siempre verdadera (¥) :
~Lo-~(p+qQ) vq = ~Lp-(*pvall vq
~U(p~~p) v(paagdlvq = LF ¥ (p~a)} vq
=CEp-qiva (sp v .q) vq
(vp) v (%9 vq) ~pv ¥ = VW (TAUTOLOGIA).
EJEMPLO.- En un Ejercicio propuesto se present6 la propiedad TRANSITIVA =
(p +9) -(q +r) = > (p+ _r)_ - Por lo tanto, el sigui-
ente argumento es VALIDO : p*q
i.
per
PROBLEMA.- Para cada conjunto dado de premisas, encontrar una CONCLUSION
adecuada de manera que el argumento sea VALIDO :
a) p+, r*q is bd) p>*e, rep, qa.Cap.i Légica -15-
SOLUCION.~ De las tmplicaciones conocidas vemos que en :
a) Si r+ q_ 1a reemplazamos por su equivalente (%q + %r) entonces
se obtiene que, por la propfedad TRANSITIVA =
(p + rq)~ (1g +vr) => (p+ rr) .
b) An3logamente, por conmutatividad se tiene que:
Ur + p)~ (p> ~all-q == (r+ ~a)- 4
a-(g > %r) => +r, por el problema anterfor.
En resumen, se han hallado las siguientes conclusiones correctas para:
a) per , by) ivr
mom
METODOS DE DEMOSTRACION ,-
Cudndo se demuestra que un argumento en la
forma Pla Ppt ee me ooeeeeUlD)
es una TAUTOLOGIA, se dice que se ha empleado un METODO DIRECTO DE DEMOSTRA-
CION.
Si ahora consideramos la negaci6n de la conclusi6n q y de alguna de las
premisas Pl» Por ++» Py » digamos de py. y se forma el argumento
Up, ~ py ~ es = Py) ~(2Q)) + vy eae
veremos que este Gitimo argumento (11) es equivalente a (I) :
(II)
w[lp, = Pp > oe+ + Peg) > al v (vp)
Culp, ~ ppm --- = Pep) ¥ v(va)] v (~p,)
m
wp see Rv Mee) vg FMP ees ym RE
(pj +. +p > 9 + (I)
DEFINICION.~ Cuando se desea demostnar fa validez de (1) usando su forma
equivalente (II) se dice que se estf empleando ef METODO
INDIRECTO & METODO POR REDUCCION AL ABSURDO. Note que este
metodo consiste en considerar ahora como una premisa a La megacidn de La con
clusion, es decina (vq) y se trata de ingertr (vatidamente) La nega~
cidn de alguna de Las premisas (en ef caso anterion, se tratd de inferin:
~P,) condiderando Las demis proposiciones verdaderas.
PROBLEMA.- Verifique la validez de Jos siguientes argumentos. Usar prime-
ro un m&todo directo y luego un m8todo indirecto.16- Introducci6én al Analisis Matematico
ab pq b) atep
TE EG qvs
p* or a .
P
SOLUCION.- METODO DIRECTO :
a) (p +q)+ (r + ~q) + (p + rr)
= (p+ q)- (a+ ~r) + (p+ vr) = V , por la propiedad
TRANSITIVA.
5) (a+ p)~ (gvs)~(~s) + p = (qv p)~ (q- ~5) + P
= (paq-™s)*+ p = Uq~(rs)~p) vp
= vwlgars)v(vp)vp = v*(lanrs)vV = Y¥
METODO INDIRECTO : 4) Demostraremos 1a validez de: prq
vip + vr)
a(r + »q)
(p +q) + ~(p> vr) + (r+ %Q)
v(p + q) v (pe vr) v v(r vq)
v{(p>+ q) (r+ ~q)) v (p> vr)
~U(p + q) (a> ~r)] v (p> vr)
(p + q)~ (g + vr) * (p+ vr) = VY — (TAUTOLOGIA)
“om omom
o
s
Demostraremos que la siguiente condicfonal es una Tautologfa:
((q + p)~ (~p)~ (~s)] + ~lg ¥ 5)
[irq v p)~ (~p) ~ (¥s)] + ~ (qv 5)
[livq- vp) v (p= vp) ~ (vs) + ~ (a v 5)
(vq vp) v FJ} ~ +8) + ~(a vs)
(vq) + (vp) » (vs) + “(av s) = ~lavpvs) + ~(qvs)
avpvsv qvs) = pvElavs)v ~(qvs)] = pvvViv.
PROBLEMA DE APLICACION.- Sea n un entero positivo. Demostrar que:
sin es par, entonces n es par .
SOLUCION.- Sean p: n? es par, Qi: mes par . Se desea demos
trar que: p => q , pero en forma indirecta por “REDUC-
CION AL ABSURDO, es decir, demostraremos que: (~q) ==> (vp), para lo
cual, a@bumimos como PREMISA a La NEGACION de q :
(~q) : n es imparCap.1 Légica ATE
entonces n= 2k4+1 para algGn entero k > 0 , y por lo tanto :
n= gets ak ed = 22k + 2k) +d = 2k 4d,
donde k, = 2k7#2k es un entero , Jo que indica que on? es IMPAR .
Asi, hemos Tlegado a inferir la NEGACION de p :
2
~p : mo es Impar, con lo cual el problema queda resuelto.
PROBLEMA DE APLICACION .- Demostrar que no existe ninglin nGmero racio-
nl ge . +» ™, fm enteros primos en
tre sf (es decir, que no tienen factores enteros comunes, excepto el 1) ,
tal que: qt = 2 . (0 equivalentemente, que v2 no es nacional).
SOLUCION .- Supongamos que (lo contrario) la negactén de la tesis se
cumple, es decir, que gt = 2, para algfin racional q
CM Ga “ = » con m,n enteros primos entre sf . Entonces ,
@-2 (mn)? = 20 => (*) wt = an? ea? cs par
m_también es par (por el problema anterfor) = 2k, . pa
ra algGn entero k, ==> en (*): ae = 2n?
==> on? es par => nes par (por el problema anterior)
n= 2ko, para atgin k, entero ; resultando ast que
m y n ttenen al nGmero 2 como factor comin, contradiciendo (negando) la
hipStesis acerca de m y nm de no tener factores comunes distintos de 1 .
SERIE DE EJERCICIOS PROPUESTOS .-
1. Verifique la validez de los siguientes Argumentos:
a) pag b) p ~(pvaq) d) req
“p74 (pvq) +r p+4q
~q res ares
s pes
c) (p-q) + (ras) a) op
(~q) v (ws) (~p v ws) + [( ep) « (+r)]
(~p) v (vq) s
SUG: Algunos se prueban mejor por el método indirecto.
2. Sea n un némero entero. Demostrar que si n? es miltiplo de 3, en-
tonces n también es miltiplo de 3.6.
Z
Introducci6n al Analisis Matematico
‘SUG: n no miltiplo de 3 equivale a que n= 3k+1 6 n= 3k+2, para
k entero, y en ambos casos resulta que n* noes miltiplo de 3.
Sea n un entero, demostrar que sf nt
mOltiplo de 5 .
es miltiplo de 5 entonces n es
Sea n un entero, demostrar que si n*
miltiplo de 6 .
SUG: m es miltiplo de 6 si ysolosi mes miltiplo de 2 y miltiplo
de 3 a la vez.
es mGltiplo de 6 entonces n es
Sea n un entero, demostrar que si n? es miltiplo de 2 entonces n es
mUltiplo de 2.
Demostrar que no existe ningin nimero racional q tal que g a3.
Demostrar que no existe ningGn nimero racional gq tal que @ =2.
CLAVE DE RESPUESTAS (SERIE DE LA PAG. 10)
6.
10.
13.
18.
22.
25.
28.
MI, 7. Todas . , 8. Solamente (c) , 9. %q ,
~q . VN. Solo (a) y (blo, 12. Todos , “13, 2) F, BI F.
c)V¥ , 14 Todas , 15. Solo (c) , 16, a) F, b) Vic) V,
Solo {c) , 19. Solo(b) y (c) , 20. Solo (b) , 21. Solo (b),
Solo(a)y le) . 23. ty 7, 24.adp, ris V¥. blpr:¥
a) El es rico o no es feliz.
b) El es pobre o es feliz.
c) El no es bajo o no es Sgit.
d) Al menos uno Juan o Carlos viajaran a Piura a fin de mes.
e) £1 no tiene ni un compas nf una regla.
f) Al menos uno de los equipos Alianza o Ta U no iré a la Copa Liber-
tadores.
9) Juan no llegarS a tiempo con los documentos y en tal caso, al menos.
uno Carlos o Pedro no podra inscribirse en la Universidad.
i 29. ST son Légicamente Equivalentes.