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) x(R(x)P(x))


  • b) x(S(x)¬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.