UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS ESCUELA DE COMPUTACION MATEMATICAS DISCRETAS I (6106)

Pr actica: L ogica de Predicados Nota Preliminar: Para la realizaci on de esta pr actica se requieren los siguientes conceptos: Proposiciones abiertas, Universo del discurso, cuanticadores universal y existencial, valores de verdad de una proposici on cuanticada, equivalencia e implicaci on l ogica de proposiciones abiertas y cuanticadas, proposiciones contrapositiva, rec proca e inversa, negaci on de proposiciones cuanticadas, reglas de ejemplicaci on y generalizaci on universal y existencial y demostraciones con cuanticadores. Nota Importante: NO OLVIDEN JUSTIFICAR SUS RESPUESTAS. 1. Sea U = Z y considere las siguientes proposiciones abiertas: P (x) : x 3; Q(x) : x + 1 es impar; R(x) : x > 0.

Determine el valor de verdad de las siguientes proposiciones: P (1). Q(1). P (3). Q(6). P (7) P (7). P (3) P (4). [P (4) Q(3)] . P (4) Q(3). P (3) [Q(3) R(3)]. P (3) [Q(3) R(3)] . P (0) [Q(1) R(1)]. P (1) Q(2)] R(3).

2. Sea P (x, y ) : x + y 6. Determine el valor de verdad de las siguientes proposiciones: P (2, 1); P (8, 4); P (0, 6)

3. Sea U = { estudiantes de tu clase } y considere las siguientes proposiciones abiertas: M (x, y ) : x ha enviado a y un correo electr onico. T (x, y ) : x ha llamado por tel efono a y . Traduzca las siguientes sentencias a lenguaje formal: Hay un estudiante de tu clase que ha enviado a cada uno de los dem as estudiantes un correo electr onico. Hay dos estudiantes en tu clase que se han llamado por tel efono mutuamente. Todos los estudiantes de tu clase han enviado un correo electr onico a Carlos. Hay al menos dos estudiantes en tu clase tales que uno ha enviado al otro un correo electr onico y el segundo ha llamado por tel efono al primero. 1

4. Sean Ux = { estudiantes de la Facultad } y Uy = { p aginas web }. Sea W (x, y ) denido como W (x, y ) : x ha visitado la p agina web y , donde x Ux y y Uy . Traduzca las siguientes sentencias a lenguaje formal: W (Marta, www.ucv.ve). x : W (x,www.ciens.ucv.ve). y : (Jos e P erez, y ). y : (W (Carlos Alvarez, y ) W (David Garcia, y )). 5. Sea U = {1, 2, 3, 4, 5, 6} y considere la siguiente proposici on abierta: P (x, y ) : x es m ultiplo de y . Determine el valor de verdad de las siguientes proposiciones: xy : P (x, y ); xy : P (x, y ) 6. Sean U = Z. Sea Q(x, y ) denido como Q(x, y ) : x + y = x y . Determine el valor de verdad de las siguientes proposiciones: Q(2, 0). xy : Q(x, y ). xy : Q(x, y ). y x : Q(x, y ).

7. Sea U = N. Determine el valor de verdad de las siguientes proposiciones: mn : m < n. mn : m < n. nm : m < n. nm : m < n. nm : m < n. mn : m < n. mn : m < n. nm : m < n.

8. Para cada una de las siguientes proposiciones: a) Simbolice. b) Establezca la negaci on de cada una de las simbolizaciones obtenidas. c) Traduzca las negaciones a lenguaje natural. Para todo entero n que no sea exactamente divisible entre 2, se tiene que dicho entero es impar. Si el cuadrado de un entero es impar, entonces el entero es impar. Si k, m y n son enteros tales que k m y m n son impares, entonces k n es par. Si x es un n umero real tal que x2 > 16, entonces x < 4 x > 4. Para todo n umero real x, si |x 3| < 7, entonces 4 < x < 10.

9. Sea U = R. Para cada uno de los siguientes casos, determine si la expresi on de la derecha es la negaci on de la expresi on de la izquierda x : x 0 x : x + 1 > 4 xy z : x + y = z y x : xy 2 x : x + 1 3 x 2 xy : P (x) S (y ) xy : x2 + y < 5 10. Simbolice los siguientes enunciados: Todo el que ama a los hombres, ama tambi en a los ni nos. Por lo tanto, el que no ama a los ni nos tampoco ama a los hombres. Ning un feo despierta pasiones; todos los atletas despiertan pasiones. Por lo tanto, ning un atleta es feo. Cualquier ejecutivo acaba cansado; nadie que acabe cansado es feliz. Por lo tanto, ning un ejecutivo es feliz. Todo sujeto sensible admira la pintura; Juan es un sujeto sensible. Por lo tanto, Juan admira la pintura Todos los banqueros amasan su fortuna siendo generosos. Algunos mendigos no es cierto que hayan amasado su fortuna siendo generosos. Por lo tanto, ning un mendigo es banquero. Todas las selvas tropicales tienen color esmeralda. Nada que sea esmeralda est a reseco. Por consiguiente, ninguna selva tropical est a reseca. Todos los cerdos tienen alas; algunos cerezos no tienen alas. Por consiguiente, hay cerezos que no son cerdos. Ning un enamorado suspira. Todos los deprimidos suspiran. En consecuencia, nadie que est e deprimido est a enamorado. Ning un individuo que siga estrictamente las leyes de la l ogica tiene coraz on. Todos los extraterrestres siguen estrictamente las leyes de la l ogica. Por tanto, los extraterrestres carecen de coraz on. Quien ama apasionadamente acaba siendo desgraciado; quienes no pueden ocultar su pasi on mueren prematuramente. Por lo tanto, si todos aquellos que acaban siendo desgraciados no pueden ocultar su pasi on, entonces, todos aquellos que amen de forman apasionada mueren prematuramente. Todo n umero natural n puede escribirse ya sea en la forma 2k o en la forma 2k + 1 para alg un natural k . x : x < 0. x : x + 1 > 4. xy z : x + y = z. y x : xy 2. x : x < 2 x + 1 3. x : y : P (x) S (y ). x : y : x2 + y 5.

Conjetura de Goldbach 1 : Todo n umero par mayor que 2 puede escribirse como la suma de dos n umeros primos. Para cada x e y si x es menor que y entonces no ocurre que y sea mayor que x. Denici on de L mite: Sea f una funci on real f : D R R. Decimos que el l mite de la funci on f (x) es L cuando x tiende a p, denotado por l mxp f (x) = L, con x D y L R, si y solo si, para cada > 0 existe un > 0 tal que si se satisface que 0 < |x p| < se tiene que |f (x) L| < . Para cualesquiera x e y n umeros reales positivos, si el producto entre ellos en mayor que 25 entonces alguno de ellos es mayor que 5. Sea f : D R con D y R subconjunto de los n umeros reales. D se denomina Dominio y R se denomina Rango. La funci on f es inyectiva, cuando no existe un mismo elemento en el Rango que tenga asociados elementos distintos en el Dominio. La funci on f es sobreyectiva, cuando todo elemento del Rango es imagen de al menos un elemento del dominio. 11. Demuestre las siguientes equivalencias l ogicas: x : P (x) x : P (x). x : P (x) x : P (x). x : [P (x) Q(x)] x : P (x) x : Q(x). x : [P (x) Q(x)] x : P (x) x : Q(x). x : [P (j ) Q(x)] P (j ) x : Q(x). x : [Q(x) P (j )] x : Q(x) P (j ). x : [P (j ) Q(x)] P (j ) x : Q(x). x : [Q(x) P (j )] x : Q(x) P (j ). xy : P (x, y ) y x : P (x, y ). xy : P (x, y ) y x : P (x, y ). xy : P (x, y ) [xy : P (x, y )]. xy : P (x, y ) [xy : P (x, y )]. 12. Demuestre las siguientes implicaciones l ogicas: x : P (x) x : P (x). x : P (x) x : Q(x) x : [P (x) Q(x)]. x : [P (x) Q(x)] x : P (x) x : Q(x). xy : P (x, y ) y x : P (x, y ). x : [P (x) Q(x)] x : P (x) x : Q(x).
1 Christian Goldbach (1690 - 1764): Matem atico ruso, enunci o la conjetura en 1742, que a un hoy no ha sido probada o refutada, tan solo se ha establecido que es verdadera para n umeros menores a 1018

x : [P (x) Q(x)] x : P (x) x : Q(x). x : [P (x) Q(x)] x : P (x) x : Q(x). 13. Demuestre mediante un contraejemplo que la siguiente implicaci on l ogica no es v alida y x : P (x, y ) xy : P (x, y ). 14. Demuestre la validez o invalidez de los siguientes argumentos: xy : (x < 1 y > 1) x y < x z : z < 1 4 < 1 4 (4)2 < 4 z2 >1 xy : (x y < 0 x < y ) wz : (w < 1 w > 0) z w < z (2/3) 1 < 0 (2/3) > 0 (6 2/3) < 6 x : [C (x) (P (x) M (x)) Q(x)] x : [E (x) Q(x)] x : [C (x) P (x) E (x)] x : [P (x) Q(x)] x : [P (x) Q(x) R(x)] x : [R(x) P (x)]

x : [F (x) G(a)] x : G(x) x : H (x) F (a) x : H (x) x : A(x) y : [B (y ) C (y )] x : D(x) y : B (y ) x : [A(x) D(x)] y : C (y ) x : [P (x) Q(x)] x : P (x) x : [Q(x) R(x)] x : [S (x) R(x)] x : S (x) x : [F (x) S (x)] y : [M (y ) W (y )] y : [M (y ) W (y )] x : [F (x) S (x)] x : [P (x) R(x)] x : [P (x) S (x)] x : [R(x) S (x)] x : [A(x) y : [Q(y ) L(x, y )]] x : [A(x) z : [I (z ) L(x, z )]] x : A(x) y : [Q(y ) I (y )]