Usuario:Rafagarcia/ejercicio 19
Apariencia
Ejercicio 12, Página 116.
12)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) Existe almenos un entero par divisible entre 5.
- b) Si x es par y x es un cuadrado perfecto, entonces es divisible entre 4.
Solución:
- a) x(Q(x)S(x))
- b) x((Q(x)math>\wedge \;</math>R(x))T(x))