Usuario:Rafagarcia/ejercicio 17

Ejercicio 10, Página 116.

10) 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

Escriba las siguientes preposiciones en forma simbólica:

  • a) Almenos un entero es par
  • b) Existe almenos un entero positivo que es par.

Solución:

  • a) x (p(x))


  • b) x (P(x)Q(x))