Usuario:Rafagarcia/ejercicio 20

Ejercicio 13, Página 116.

13)Para el universo de los enteros, sean P(x), Q(x) y R(x)las siguientes preposiciones abiertas:

P(x): x>0 ; Q(x): x es par  ; R(x): x es un cuadrado perfecto  ; s(x): x es divisible exactamente por 4  ; T(x): x es deivisible exactamente entre 5.

Con base a las preposiciones, exprese cada una de éstas en palabras:

• a) $\forall \;$x(R(x)$\rightarrow \;$P(x))

• b) $\exists \;$x(S(x)$\wedge \;$¬r(x))

Solución:

• a) Para todo x que es un numero par, éste entonces es un real positivo mayor que 0.

• b) existe un x que es divisible exactamente por 4 y no es un cuadrado perfecto.