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

[复制链接]
查看11 | 回复1 | 2012-2-22 10:26:35 | 显示全部楼层 |阅读模式
令 a:2;b;1; Ax: x被1整除; Bx:x被x整除; Sxy:x<y; Nx:x是自然数,则?x(Nx∧┐b∧(Ax∨Bx)→Sax)不知道你觉得怎么样,那意思是说“任何一个不是1的自然数,如果它是素数(只能被1或自身整除)都比2大”...
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

主题

0

回帖

4882万

积分

论坛元老

Rank: 8Rank: 8

积分
48824836
热门排行