作业帮 > 数学 > 作业

虽然2是最小素数,但2不是最小自然数如何命题符号化,搞不清逻辑关系.

来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/05/16 02:07:54
虽然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大”
再问: 没问证明,只是想符号化,离散数学的知识,现在搞清楚了。