Question

S(3)(x,y,z)=И⇔x+y=z; P(3)(x,y,z)=И⇔xy=z.
Записать в модели M формулы, выражающие следующие утверждения:
1) x=0;
2) x=1;
3) x=2;
4) x – четное число;
5) x – нечетное число;
6) x – простое число;