Usuario:Juan medina/ejrcicio 9 pagina 65

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

En el dominio de lops numeros naturales, ¿como traduciria las fraes siguientes ? utilice P(x)para denotar " x es primo " y Q(x)para denotar " x es par " . También puede utilizar <em|x> y para x e y.

a)Algunos primos son pares

. sol: ∃xP(X)(Q(x))

b) todos numeros pares son mayores que 1

sol: ∀xQ(x)(x> 1)

c) Los numeros pares son primos soloamente si son menores que 3.

∀x(P(x)^ Q(x)) ↔ x >3

d) no hay primos menores que 3

¬ ∃xP(x)(x &gt 3)