Usuario:Rafagarcia/ejercicio 19

De Wikilibros, la colección de libros de texto de contenido libre.

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))