1,3 @ Cuantificadores 17 Rpg BUA segundo cambio el operador restate es ip? (eercicio 33). Em am- Mop ayn a5. ever bos casos, se obtienenpatologias. 36. (PAYA) > VY») 452, Defina la tabla de verdad para imp come a7 PY CPANaY) > wv eva) _—_—— En los ejerccios 38 41, excriba cada proposcion condicional en sim- p_a|pinpta bolos. Erriba la reciprocay la contrapositiva de cada proposicién en vv[ v “inbolot yen palabras. Encwente también el valor de verdad para ca- Yel F ‘da proposictsn condicional, su reciproca yeu conraposition tel oF BE Sid-<6,enlonces 9> 12.38, Sid <6, enlonces 9 < 12, rel v 4. dss et <3, Hs adh3 243, ‘Para cada par de prposicienes Py Q en los eercicios #2 al SI esta- blezca si P= Q ono @ PanO=pva B. Pa pagQ=-py—a Demuestre gue p mpl g = 4 imp p S58. Defia a abla de verdad para mp2 como pimp? He P=p4.0=-pva Seat ) vv[ v P= pAcavn.O=pvign-r) vel F 46. Po paayn.d-wva rv] ov 47. Papa Onna>op eel F P= p>9.0=p4 Bee, 2) Demeste que 50. P=(p> gr. O=p— G0) (pimp a) S(a mp2») # Do a 026 SL P= > (PAD MP > (MAD O= PvE b) Demuesre que (1.2.6) permanece verdadera si se cambia el Lot ejericos 52 y $3 proporcionan mayor motivacién para definir ‘eter renglén d a tabla de verdad de inp? a PVE, = qcomo verdadera cuando pes fala, Se considera cambiar a 12- 54, erifgue I segunda ley de De Morgen. (p-A9) =~ bide vertad py ean perf, Par ene primer candi o| St. Nee eed De Mottin 8 9) =P operador resultant rvibe el nombre de imp! (seria 52, y para el 1.3 -> Cuantificadores La légica en las secciones 1.1 y 1.2 referente a praposiciones es incapaz de deseribir Ia ma- Www _ Jorta de las afiemaciones en matemsticas y en ciencias de la computacién, Considere, por ejemplo, la afimacién :mesun entero impar ‘Una proposicién es una alirmacién que es verdaders ofalsa, La afirmacién pno es una pro- posicién, porque el hecho de que p sea verdaderao falsa depende del valor de n.Por ejem- plo, p es verdadera si n = 103 y falsa si n = 8 Como casi todas las afirmaciones en ‘matemdticasy ciencias de la computacién usan variables, debe ampliase el sistema de I6- ica para inciuir estas alirmaciones. Sea P(a) una oracién que incluye la variable x y sea D un conjunto. P se lama funeién pro posicional o predicado (tespecto a D) si para cada x en D, P(2) es una proposicién, D es el dominio de discurso (también llamado dominio de referencia) de P. Sea P(n) ta afimacién nes un entero impar, y sea D el conjunto de enters pasitives, Entonces P es una Funcién proposicionsl con do- ‘minio de discurso ya que para cada n en D, P(r) es una proposicién [es decir, para cada nen D, P(n)es verdadera ofalsa pero no ambas). Por ejemplo, sin = 1, se obviene a pro posicién PQ): 1 es us entero impar www.FreeLibros.me18 Capitulo 1 Légica y demostraciones Se Eee (que es verdadera). Sin = 2, se absiene a proposicién PQ) Des un entero impar (que es fats). < Una propasicién P, por sf misma, noes falsa ni verdadera, Sin embargo, para cada x cen su dominio de discurso, P(x) es una proposicién y es, por lo tant, verdadera 0 falsa, Se ‘puede pensar que una funcién proposicional define una clase de proposiciones, una pars ca dda elemento de su dominio de discurso, Por ejemplo, si Pes una funcin proposicional con dominio de discurso igual al conjunta de enteros positives, se obtiene una clase de propo PW.PQ, ‘Cada una de las P(1), P (2), 6s verdadera o falsa Las siguientes son funciones proposicionales, 2n es un entero impar (dominio de discurso = conjunto de enteos positives). == 6 =0 dominio de discurso = conjunto de niimeros reales), 6) Bl beisbolista bates: més de 300 en 2003 (dominio de discurs beisholistas) conjunto de 44) Bl restaurante tiene més de dos estrellas en Ia revista Chicago (dominio de dis- curso = restaurantes clasificados en la revista Chicago) En Ia afirmacin a), para cada entero positivo n, se abtiene una propasicién; por lo tanto Ia afirmacién a) es una funcién propasicional De manera similar, en Ia afitmaein b), para cada nimero real x, se obtiene una pro a: por Io tanto, Ia afiemaci6n b) es uns funcién proposicional Se puede ver a Ia variable en la afirmacién c) como “beisbolista”. Siempre que se sustituya un beisholistaespectfico en Iugar dela variable, la afirmacién es una propasiciéa, Por ejemplo, si se sustituye "Burry Bonds” en lugar de "beisholista, ln afirmacién ¢) es Barry Bonds bates mis de 300 en 2008, posi ue es verdadera, Si se sustituye “Alex Redefgue7” en lugar de “beisbolista, la afirmacién ‘Alex Rodrfguez bateé mis de 300 2 2008, {ques falsa Asi la airmacién ¢) es una funcién proposicional La afirmacién d) es similar en la forma ac), agut la variable es “restaurante”, Al sus- ale por un restaurants clasificad en la revista Chieago, la afirmacin es una proposicién. Por ejemplo, si se sustituye “Yugo Inn” a afirmacién d) es ‘Yugo Inn tiene mas de dos estrellas en la revista Chicago, aque es Lalsa. Si se sustituye “Le Francais” en lugar de “restaurante”, la afirmacién d) es Le Frangais tiene mas de dos estellas en la revista Chicago, que es verdadera.Asf, la afimmacién d) es una funcién proposicio < Casi todas las afirmaciones en matemsticasy clencias de la compuracién usan srmai- nos como “pata todo" y “para alguna”, Por ejemplo, en matematicas se tiene el siguiente reorema Para todo triéngulo T, la suma de los Sngulos de Tes igual a 180°. En ciencias de la computacién, se tiene el siguiente teorema: Para algdn programa P, la salida de P es P mismo www.FreeLibros.me1.3.4 > Ejemplo a 1,3 @ Cuantificadores 19 ‘Ahora se extender el sistema légico de las seceiones 1.1 y 1.2 de manera que las afirma- ciones que incluyen “para todo” y “para alguno” sean manejables. Sea P una funcién proposicional con dominio de discurso D. Se dice que la afrmacién para toda x, PQ) ‘es una gfirmacisn cuantificada universalmente. El simbolo ¥ significa “pars toda", “Para cada", “Para cualquier”, Entonces, la afiemacién para toda, PG) se eseribe ¥xPQ, El simmholo ¥ se lama euantficador universal La afirmacién Ye PO) cs verdadera si PU) es verdadera para toda x ea D, La afirmacién ve PO) <6 alsa si P(x) es falsa paral menos una x en D. ‘Considere fa afiemacién cuantifieada universalmente vs » ‘con el conjunto de nimeros reales como dominio de discurso, La afirmacién es verda- deta porque, para todo nimero real x, es cierto que el cuadsado de x es positive 0 cet. < De acuerdo con la definiién 1.3.4, la afirmacién cuantificada universalmente Ye PU) cs alsa si para al menos una x en el dominio de discurso la proposici6n Pla) es falsa. Un vvalor x en e] dominio de discurso que hace que P(x) sea fala se lama contraejemplo de Ia alirmacion WP @ ‘Considere ta afirmacién cuantificada universalmente Ve(t=1 > 0) ‘con el conjunto de los nimeros reales como dominio de discuso, La afirmaci6a es falsa, ya que six = 1, Ia proposicion - 0) ‘Aunque existen valores de x que hacen que la funciGn proposicional sea verdadera, el eon- ‘racjemplo muestra que la afrmacién cvantificada universalmente es fala, < www.FreeLibros.me20 Capitulo 1 Légica y demostraciones Pea ekeeas Suponga que es una funcién propesicional euyo dominio de discuso consists en los ele- rentos d,..-,d, El siguiente seudocédigo’ determina si ve PQ) cs verdadera falsa fori= lean if Pd) return falsa return verdadera EB ciclo “for” examina los miembros d, del dominio de discurso uno por uno. i encuentra tun valor d, para el que P(d) es flea, la condicisn —P (den el estatuto “if” es verdadera asi el cédigo regresa a falsa [para indicar que Wx P (x) es falsa] y termina, En este caso, d, ces un contracjemplo, Si P(d) es verdadera para toda d, la condicién ~P (a) en el esatuto “if es siempre falsa. Bn este caso, el ciclo “for” corre hasta completarse, después de lo cval cl cédigo regresa a verdadera (para indicar que Vx P(x) es verdadera] y termina, Observe que si Vx P(x) es verdadera, ol ciclo “for” necesariamente corre hasta el fi- nal, de manera que cada miembro del dominio se verfica para asegurar que P(x) es verda- dera para toda x. Si Vx P(Q) es falsa, el ciclo “for” termina en cuanto se encuentra un elemento x del dominio de discurso para el que P(x) es falsa < LLavariable xen la funcién proposicional P(x) se lama variable libre. (La idea es que 2x68 “libre” de recorrer el dominio de discurso), La variable x en la afirmacién cuantifica- dda universalmente vePQ 3.4) se llama variable acotada, (La idea es que x esté “acotada” por el cuantificador ¥). Se sefalé ya que tna funcién proposicional no tiene valor de verdad, Por otro lado, le definicién 1.3.4 asigna tn valor de versad a la afirmacin cuantificada universalmente (1.3.1), Eo soma, una afirmacién con variables libres (no cuantificadss) no es una proposi- ci¢n, y una afirmacién sin variables libres (sin variables no cuantificadas) es una propo (Owras maneras de eseribir Vero) para toda x, PO) para cualquier x, P@), EE simbolo V se lee "para toda’, “para todos” “para cualquier Para demostear que Ye PO) ce verdadera debemos, de hecho, examinar fodos los valores de xen el dominio de disear- so y demostrar que para toda x, P(x) es eierta. Una téenica para probar que Ye PQ) ce verdadera consisteen hacer que x denote un elemento arbitraro del dominio de disear- s0 D. El argumento procede ustndo el simbolo x. Cualquier cosa que se asegure acerca de 7 lowadoctlgo unto eae io exe one apie C www.FreeLibros.me1,3 Cuantificadores 21 1 debe sex ciesto sin importer qué valor pueda ener x ea D. El asgumento debe concur con la prueba de que P (a) es verdadera Agunas voces, para especiticr el dominio de discuso D, se esrbe la aimacién ‘uantificada uiversaimeste coma para toda xen D, PO) La afirmacién cuantficada universalmente pata todo nero rea x six> 1 entonces x 41> 1 cet verdaders, Esta ver se debe verticar que la afirmacin six I emtonces x41 >1 cs verdader para todo nirero real x Sea x cualquier niimero real. Bs cierto que para cualquier niimero real x, 0 bien x 1ox> 1, Six I, la proposicién condicional six Lentonces x+1>1 cs rivialmente cierta, (La proposicién es cierta porque la hip6tesis x > I es falsa, Recuerde que cuando la hip6tesis es fala, la proposicién condicional es verdadera sin importa si la ‘conclusion es falsa 0 verdadera). En la mayarfa de los azgumentos, el caso trivial se omite ‘Ahora suponga que x > 1, Sea cual fuere el valor espectfico de x, x-+ 1 > x. Como xelex yas se concluye que x + 11> 1, de manera que la conelusién es verdadera, Six > 1, Ia hipéte- sis y la conclusién son ambas verdaderat; asf, la proposicién condicional six> Lentoncesx+1>1 cs verdadera Se ha demostrado que para todo mimero real, la proposicién six> Lentoncesx $1 >1 cs verdaders, Por lo tat, I firmacidn cvanificadsuniversalmente para odo mimeo real x, six > I,entonces x +1 > 1 es verdaers < El método para desaprobar la firma ver ces bastante diferente del método usado para probar que la afirmacién es verdadera. Para de- ‘mostrar que la afirmaciéa evantilicada universalmente ve PQ) 8 alsa, es suficiente enconirat un valor de x en el dominio de discurso para el que la pro- pposici6a P(x) sea falsa. Tal valor, como se recordar, se llama contraejemplo dela afirma- ‘i6n cuantfieada universalmente. Ahora se analizardn las afirmaciones cuantificadas existencialmente Sea P una funcién proposicional con dominio de discurso D. Se dice que la afirmacién existe x, PO) www.FreeLibros.me22 Capitulo 1 Légica y demostraciones Cees ces una afirmacién cuantificada existencialmente, El simbolo 3 significa “existe”. As la afirmaciéa exine x PO) PQ) EB sfmbolo 3 se lama cua Laafirmacion ificador existencial ae PQ) cs verdadera si P(x) es verdadera para al menos una x en D. La afirmacién ae cs flea si P(s) es falsa para toda xen D. Considere la afirmacién cusntificada existencialmente (s 2) ar ( = \waT 5 con el conjunto de nimeros reales como dominio de discurso. La afirmacién es ver~ dadera porque es posible encontrar al menos un stimero teal x para el que la proposi- ei6a No ocurre que todo valor de x dé una proposicién verdadera, Por ejemplo, six = 1, la pro- posiciéa cs falsa < Segin ladefinicién 1.3.9, laafirmacién cuantifcada existencialmente ae PG) cs fsa si para {oda x en el dominio de diseurso, la proposicién P(x) es flea Para verificar que la afirmacién cuantificada existencialmente »(=a) «¢ falsa, debe demostearse que ce falsa para todo nimero real x. Ahora www.FreeLibros.me1,3 @ Cuantificadores 23 cs falsa precisamente cuando es cieta, Ast, debe demostrarse que 1s verdadera para todo niimero real x. Con este fin, sea x evalguier niimero real, Como (0 = x3, se puede sumar I en ambos lados de Ia desigualdad para abtener 1 = x2 + 1. Sise dlividen ambos lados de esta desigualdad por x*+ 1, se obtiene <1 Por lo tanto, la afirmacién cs verdadera para todo niimero real x Entonces Ia afirmacién L se Fri ¢s fsa para todo nimero real x. Se ha demostrado que ls afirmacién cuantificada existen- ialmente cs alsa, < Suponga que P es una funcién propesicional cuyo dominio de discurso consiste en los ele- mentos dd, El siguiente seudocédiga determina si ar P() cos verdaders 0 falsa: fori=1ton El ciclo “for” examina los miembros d, del dominio de dscurso uno por uno. Si encuentra tun valor d, para el que P(d) es verdadera la condicién P{d) en el estatuto “if” es verdade- 12; anf, el c6digo rogresa a Vesdadera [para indicar que 3x P(x) es verdadera] y termina. Ea teste caso, el eéiga encuentra un valor en el dominio de discurso, a saber d, paza el que Pid) es verdadera. Si P(d) es falsa para toda d, 1a condicién P(d) en el estatuto “i es siempre falsa, En este caso, el ciclo “for” corte hasta completarse, después de lo cual, re- jg7esa a falsa (para indicar que Ae P(x) es verdadera) y termina Observe que si 3x P(x) es verdadera el ciclo “for” termina en cuanto se encuentra un clemento x del dominio de discurso para el que P(s) es verdaders. Si 3x P(x) es falsa, el ci= lo “Tor” corre hasta completarse, de manera que se verifique 1odo miemibro del dominio de discurso para asegurarse de que P(s) es falea para toda x < (tras formas de escribir ae Pa) existe tal que, PO) www.FreeLibros.me24 Capitulo 1 Légica y demostraciones Teorema 1.3.14 y para alguna x, P(x) para al menos una x, PO, EB simbolo 3 se lee como “existe”, “para alguna” o “para al menos una”. ‘Considere la afirmacién cuantifiada existencialmente para alguna m, simes primo, entonces n + 1,n-42,m-+3 yn-+4n0 son primos con el conjunto de enteros positives como dominio de discurso. Esta afirmacién es verda- ddera porque podemos encontrar al menos un entero positivo n para el que la proposicién condicional simes primo, entonces n+ 1, n+ 2,n-43 y m-+4 no son primos cs verdadera, Por ejemplo, sin = 23, se abtienen las proposiciones 8123 es primo, 24, 25, 26 y 27 no son primos. {Esta proposici6n condicional es verdadera porque tanto 1a hip6tesis "23 es primo” como Ia conclusidn "24, 25, 26 y27 no son primas son verdaderas), Algunos valores de m hacen ue la proposici6n condicional sea verdadera (por ejemplo, n = 23, n = 4, n = 47), mien- twas que pata atos es falsa (como n = 2, n = 101). BI hecho es que se enconts6 un valor ue hace que Ia proposicién condicional si mes primo, entonces n + 1, n-+2.m-+ 3 m-b4 no son primos sea verdadera, Por esta raz6n, la afirmacién cuantificada existencialmente simes primo, entonces n + 1,n+2.m-+3y nb 4 no son primos cs verdadera < En el ejemplo 1.3.11, se demostr6 que una afirmacién cuantficada existencialmente cra falsa probando que a afimacién cuaatiicada universalmente relacionada era verdade- 12, El siguiente teorema hace precisa esa relacién. El teorema genesaliza las leyes de De ‘Morgan de Iogica (ejemplo 1.2.11) Leyes generalizadas de De Morgan para légica ‘iP es una funcién proposicional, cada par de proposiciones en a) yb) tiene el mismo valor de verdad (es decir. ambas son verdaderas o ambas son falsas) 4) “(ve PQ): APO) b) ~Bx PO): HPO) Demostracién Se prucha sélo el inciso a) y se deja la demostracién del inciso b) al lector (ejercicio 51). Supenga que la proposicign ~¢¥x Ps) es verdadera, Entonces la proposicién Ws (a) es falsa Por la definicién 1.34, a proposiciOn ¥x P(x) es falsa precisamente cuando (x) es falsa para al menos una x en el dominio de discurso, Pero si P(x) es falsa para al ‘menos una x en el dominio de discurso, ~PP(x) es verdadera para al menos una x en el do- minio de discuso, Por la definicién 1.3.9, cuando ~P(x) es verdadera para al menos una www.FreeLibros.mePee ota 1,3 @ Cuantificadores 25, xen el dominio de discurs, a proposicién 3x ~P() es verdadera, Entonces, sia prapo- sicidn Vr P(x) es verdader, la proposicién 3x P(e verdadera. De manera similar, sila proposicién ~(vx P(x) es flsa, Ia proposicign 3x ~P(x) es falsa, Por lo tanto, el par de proposiciones del inciso a) siempre tienen los mismes va lores de verdad. Sea P(x) la afirmacién En el ejemplo 1.3.11 se demosteé que cs alsa verificendo que Ye PQ) 32) cs verdadera La téenica se justifica recurrienda al Teorsma 13.14. Después de probar gue la pro- ppsicin (1.3.2) es verdadera, se puede negar (1.3.2) y conchuir que Wr PQ) 8 falsa Por el Teorema 1.3.14, inciso a) 31> PQ) 0 de manera equivalent, 3x PO) también es fala, < scriba la airmacién Todo amante del rock ama a U2, cde manera simbélica,Eseriba su negacisn en simbolos y en palabras. Sea P(x) Ia funcién proposicional "ama U2". La afirmacién se escribe simbélica- Va PO), El dominio de discutso es el conjunto de amantes del rock Por el Teorema 1.3.14, inciso a), la negacién de Ia propesicién anterior ~(V P(3)) ‘es equivalente a BPO), En palabras, esta Glkima proposicién se enuncia como: Existe un amante del rock que no ama a U2. < [Escriba la airmacin Algu: s aves no pueden vol simbélicamente. Eserba la negacién en simbolos y en palabras. ‘Sea P(x) la fancién proposicional “x vuela. La airmacin se escribe en simbolos como 3ePO) www.FreeLibros.me26 Capitulo 1 Légica y demostraciones [La afitmacién también pudo escrbitse 3x Qa), donde (Q(x) es la funcién proposicional “x no puede volar”. Al igual que en dlgebra, existen muchas maneras de representar simbéli- ‘camonte el texto] El dominio de discurso es el conjunto de aves Por el Teorema 1.3.14, incso b}, la negacién de la proposiciés anterior “(x —P(2)) ces equivalente a Ye> PQ) ‘lo que es lo mismo, Ye PO. Bn palabras, esta thhima proposicién se enuncia como: Toda eve puede volar. < na proposicién cuantifieads universalmente general Ia proposicién PAPA... AP, 1.3.3) cenel sentido de que las proposiciones individuales P,P, ....P, se sustituyen por uns amilia arbitzaria Pls), donde x es un miemabyo del dominio de discutso, y (1.3.3) se susitu- ye por Ve PO) 13.4) La proposicién (1.3.3) es verdadera sy slo si P, es verdadera para toda i= 1, ....».EL valor de verdad de la proposici6n (1.3.4) se define de manera similar: (1.34) e5 verdadera siyys6lo si Px) es verdadera para toda x en el dominio de diseuso. De manera similar, una proposicin cuantificads existencialmente generaliza la pro- posicién Pv Py vy 035) cen el sentido de que las proposiciones individuales P,, P,,... P, se sustituyen por una fa- riliaarbittaria Pa), donde x es un miembro del dominio de disturso, y (1.3.5) se susttu- ye por Be Pa, Las abservaciones anteriores explican eémo el Teorema 1.3.14 generaliza las leyes de De Morgan para légica (ejemplo 1.2.11), Recuerde que la primera ley de De Morgan pa- 1 logica establece que las proposiciones MEV PLY. VP) y APA PAL AmB, sienen los mismos valores de verdad, En el eorema 1.3.14, inciso b), APLA WPA AmB, se susttuye por Vee) MPLY Pyv.vP) se sustituye por 2x Pex). Las afirmaciones en palabras con frecuencia tienen més de una interpretacién posible. Con- sidere la bien conocida cita de EI mercader de Venecia de Shakespeare: No todo lo que brilla es or. www.FreeLibros.me1,3 @ Cuantificadores 27 Una interpretacién posible de esta cita es: Todo objeto que brill no es oro. Sin embargo, seguro que esto no es lo gue Shakespeare quito decir La interpretacién correcta es: Alga ‘objeto que brila no es oro, Si PQ) es la funcién preposiciona “x brilla” y Q(2) es la funcién proposicional “ves oro”, la primera interpretacin se convierte en YaP@) + -20). 136 y la segunda interpretacin se convierte en Bx PWIA ~04). ‘Usando ol resultada del ejemplo 1.2.13, se ve que los valores de verdad de aur) AO) BP) 20) 40m los mismas, Por el Teorema 1 3.14, los valores de verdad de BP) 00) “Wr Po) > OW) 430m los mismos, Asf, una manera equivalente de representar Ta segunda interpretacién es x Pox) > GOH). 13.7 Al comparar (13.6) y (1.3.7), vemos la ambiguedad que resulta para establecer sila nega ‘ign se aplica a Q(x) (a primera interpretacibn) 0 a toda la afirmaciéa, Ye (PQ) > OO) (da segunda interpretacién). La interpretaci6n comrecta de la afirmacién ‘Todo lo que brilla no es oro se obtiene al negar toda la afirmaci6n, En afirmaciones positiva, “cualquiera”, “cada” y “todo” tienen el mismo significa do. En afimaciones negatives, la situacién cambiar [No todas las x satsfacen P(x) No cada x salisface PC), No cualquier x satisface P(x) se considera que tienen el mismo significado que Para alguna x, +P (2) rientras que Nituna x satisface PQ) Ninguna x satisface P(x) significen ‘ea otras ejemplos en los ejercicios 41 al 4. www.FreeLibros.me28 Capitulo 1 @ Logica y demostraciones Sugerencias para resolver problemas Para probar que Ia afirmacién euantficada universelmente Ye PO) cs verdadera, demuestre que para foda x en el dominio de discurso, la proposicién P(x) es vverdadera, Demostrar que P(x) es verdadera para un valor particular de x no prusba que Ye PQ) sea cieta Para probar que la afiemacin cuantifica a existencialmente arPQ) cs verdadera, encuentze un valor de xen el dominio de discurso para el que la proposicién. Pls) ¢8 verdadera. Un valores suiciene, ‘Para probar gue la afirmacién evantificada universalmente Ye PQ) ¢ fsa, encuentze un valor de x (un contracjemplo) en el dominio de discurso para el que la proposicién P(x) es falsa Para probar gue la afirmacién evantificada existencialmente PQ) cs falsa, demuesize que para toda xen el dominio de discutso, la proposicién P(x) es false Demostrar que P(x) es falsa para un valor particular x no prueba que PQ) sea falsa, Pence cee) {Qué e¢ una funcién proposiional? 7. Expligue emo probar que una afirmacin cuantfieadauniversa- {Qué es un dominio de dscurso? mentees verdadera L (Caf csuna afmneiia euntificads sirenaimens? . Hxpique céeno proba que una afiracidn evanticada existen- 4. {Qué er un coneaciemplo? ‘alent os verdad te ea 9. Expique e6mo probir qve ana alirmacincuanifieadauniversl- Qué es una afirmaciéncuantsiceda exstecialmente? aplave ome atableca las lees genezalizadst de De Morgan pa ogc 10, txpligue cdo peobar que una efimsacién cvntiiada existe calmente es fale, Ganon En los ejrcvios 1 al 6, digo a affrmacion es wna funcion propost- Sea Pin) la fnciém proposicional “m divide a 77°. scribe cade pro: tonal. Para cada afrmactén que sea uma faci th déwm —poscién en los ejercicior 7 al I! en palabras ydiga ie verdadera 0 repesicion domino de seus, ‘se Bl dominio de scars ool conta de nero pos 1. (n+ 1) eran enero ipa x Pan spa) 2. Selectone un entero ene I 10 *. PO) 10. YnPoo) 3. Sear un nimero real 1. anPe) 44 ‘La peleta gant ol pomio dela Acadia como mejor pelicula Sea P(x) Ia frac “them un curso de hema”, dom cals io de dscarso el conjunto de ods fo estudiantes. Bscriba cada sass proposieln en ls eeccos 12 17 en palabra 6 Brite tl ques < (uy mero seal) 12 vero 1 ara www.FreeLibros.me