随笔分类 -  数理逻辑

没什么好说，但是还得啃的东西
数理逻辑03 一阶逻辑
摘要：写在前面 命题逻辑（或者 零阶逻辑）到一阶逻辑的变化，在于描述的粒度。命题逻辑只能描述命题之间的关系，以及它们如何构成更大的结构（新的命题）。在一阶逻辑中我们可以深入原子命题的内部，讨论命题的构成。 为了做到这一点，需要引入集合上的n元关系。从集合论作为基础的角度看，这么做是比较和谐的。 命题逻辑 阅读全文
posted @ 2022-02-13 12:04 jjppp 阅读(483) 评论(0) 推荐(0) 编辑
数理逻辑02 推演系统
摘要：写在前面 在上一章给出了命题逻辑的语法、语义，公理化的定义，以及一种判定公式是否可满足/永真的算法，但是这还不够，因为： 并不是所有逻辑都有Decision Procedure，因此这种方法不够普遍 即使有，在有无穷多的公理时，Decision Procedure很可能没法处理无穷项的公式（算法不一 阅读全文
posted @ 2022-01-24 18:53 jjppp 阅读(592) 评论(0) 推荐(1) 编辑
数理逻辑习题乱做
摘要：做习题，不保证对，不保证全 2.10 证明只有 ↑,↓ 能单独定义所有的单目和二元运算 首先考虑如何表示 ¬。 ∘ 这个二元运算能表示 ¬ 的定义为，对于任意公式 A 都有 \(\neg A=A\circ A 阅读全文
posted @ 2022-01-21 23:44 jjppp 阅读(260) 评论(0) 推荐(0) 编辑
数理逻辑01 命题逻辑
摘要：写在前面 第一次看这本书的时候看得比较急，也没有一个big picture的把握，所以在细节上面耗费了很多时间....现在算是重构一次笔记了 我们知道，形式逻辑是对推理的形式化（mathematical logic formalizes resoning），为了描述推理我们有各种各样的逻辑系统。对于 阅读全文
posted @ 2022-01-20 18:31 jjppp 阅读(647) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示