Usuario:Rafagarcia/ejercicio 18
Apariencia
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)x(Q(x)¬T(x)
- b) x(¬Q(x)t(x))