Usuario:Fernando~eswikibooks/ejercicio 9
== CáLCULO DE PREDICADOS ==
[editar]
Problemas 2.1
[editar]ejercicio 9
En el dominio de los números naturales, ¿cómo tradduciría las frases siguientes? Utilice P(x) para denominar "x es primo" y Q(x)para denotar "x es par". También puede utilizar x<y para x e y
a) Algunos primos son pares.
b) Todos los números pares son mayores que 1.
c) Los números pares son primos solamente si son menores que 3.
d) No hay primos menores que 3.
.