Usuario:Rafagarcia/ejercicio 18

Ejercicio 11, Página 116

11)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)Si x es par, entonces x no es divisible entre 5.

• b)Ningun entero par es divisile entre 5.

Solución:

• a)$\exists \;$x(Q(x)$\rightarrow \;$¬T(x)

• b) $\forall \;$x(¬Q(x)$\wedge \;$t(x))