Usuario:Rafagarcia/ejercicio 17
Apariencia
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))