令 a：2；b；1； Ax：x被1整除； Bx：x被x整除； Sxy：x＜y； Nx：x是自然数,则
∀x（Nx∧┐b∧（Ax∨Bx）→Sax）
不知道你觉得怎么样,那意思是说“任何一个不是1的自然数,如果它是素数（只能被1或自身整除）都比2大”
虽然2是最小素数,但2不是最小自然数如何命题符号化,搞不清逻辑关系.
令 a：2；b；1； Ax：x被1整除； Bx：x被x整除； Sxy：x＜y； Nx：x是自然数,则
∀x（Nx∧┐b∧（Ax∨Bx）→Sax）
不知道你觉得怎么样,那意思是说“任何一个不是1的自然数,如果它是素数（只能被1或自身整除）都比2大”