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

问题描述:

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