怎么把“一个数是素数当且仅当它能被1和自己整除”命题符号化

问题描述:

怎么把“一个数是素数当且仅当它能被1和自己整除”命题符号化

设p和i是一个integer,
枚举2使得i不能整除p,
那么p是素数.

……………………早忘了

我胡乱打哈,见笑了,,,,,,,