Estoy intentando escribir la definición de los números primos utilizando sólo símbolos. Esto es lo que tengo: Un número primo (o un primo) es un número natural mayor que 1 que no es producto de dos números naturales menores.
Nota:
N $^{*}$ es el conjunto de todos los números naturales excepto $0$ .
Por tanto, el conjunto de números primos es S = {x $\in$ N $^{*}$ , x $\neq$ 1 $|$ ... [Estoy atascado aquí]}
No sé cómo explicarlo. Acabo de introducirme en las pruebas y los conjuntos, así que no quiero utilizar símbolos complejos. ¿Puede alguien sugerirme una forma sencilla para la parte "tal que", por favor? Gracias.
0 votos
Piensa en esto: $x\gt1$ $\land\, \forall a,b\in\mathbb N^*$ , $ab=x\implies a=x\lor b=x$
0 votos
O $p\mid ab \Longrightarrow p\mid a \vee p\mid b$ .