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) $\exists \;$x (p(x))

• b) $\exists \;$x (P(x)$\wedge \;$Q(x))