Usuario:Rafagarcia/ejercicio 19

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) $\exists \;$x(Q(x)$\rightarrow \;$S(x))

• b) $\forall \;$x((Q(x)math>\wedge \;</math>R(x))$\rightarrow \;$T(x))