会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
jjppp的博客
那就这样吧!@#$%^&*_
新随笔
联系
订阅
管理
2022年2月13日
数理逻辑03 一阶逻辑
摘要: 写在前面 命题逻辑(或者 零阶逻辑)到一阶逻辑的变化,在于描述的粒度。命题逻辑只能描述命题之间的关系,以及它们如何构成更大的结构(新的命题)。在一阶逻辑中我们可以深入原子命题的内部,讨论命题的构成。 为了做到这一点,需要引入集合上的n元关系。从集合论作为基础的角度看,这么做是比较和谐的。 命题逻辑
阅读全文
posted @ 2022-02-13 12:04 jjppp
阅读(406)
评论(0)
推荐(0)
编辑
公告