Usuario:Juan medina/ejrcicio 9 pagina 65
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 > 3)