2022年2月13日
数理逻辑03 一阶逻辑
摘要： 写在前面 命题逻辑（或者 零阶逻辑）到一阶逻辑的变化，在于描述的粒度。命题逻辑只能描述命题之间的关系，以及它们如何构成更大的结构（新的命题）。在一阶逻辑中我们可以深入原子命题的内部，讨论命题的构成。 为了做到这一点，需要引入集合上的n元关系。从集合论作为基础的角度看，这么做是比较和谐的。 命题逻辑 阅读全文
posted @ 2022-02-13 12:04 jjppp 阅读(378) 评论(0) 推荐(0) 编辑