Taller de Lógica
1. Considere las siguientes proposiciones abiertas (a) P (x) : x posee costas marinas; Q(x; y) : x y y son primos relativos; Determinar el valor de verdad de los siguientes enunciados a. P (Colombia) b. P (U ruguay) c. D(2; 24) d. D(24; 2) e. Q(14; 25) f. Q(24; 16) g. D(0; 5) h. D(1; y); 8y i. D(x; x); 8x j. D(2; 6) ! D(2; 15) k. Q(4; 5) l. D(y; 1); 8y 2. Representar en el cálculo de predicados las siguientes expresiones (a) si x < y entonces x2 < y 2 (b) Si x = y y z = w entonces x + z = y + w (c) Si Juan no es el hermano de María o María no es la cuñada de Juan, entonces el Señor Pérez no es el padre de José y José es el primo de María (d) x es tío de y o x es hermano de z y, z y w son primos. (e) Si x es un número