Usuario:Rafagarcia/ejercicio 18

Ejercicio 11, Página 116


11)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.

Escriba las siguientes preposiciones en forma simbólica:

  • a)Si x es par, entonces x no es divisible entre 5.
  • b)Ningun entero par es divisile entre 5.

Solución:

  • a)x(Q(x)¬T(x)


  • b) x(¬Q(x)t(x))