Вы находитесь на странице: 1из 17
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> p Cap.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 impar Cap.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.

Вам также может понравиться