📌 📄 内容摘要:
蹲神 (@goddog3210) 在 【数学笔记】谓词逻辑，一阶谓词逻辑。 中发帖
唔……多数为ai整理。
重点是对概念的厘清~我区分不出这些主语谓语:tieba_009:
好好学习一下~传统的命题是一大坨的，谓语逻辑是深入语言的结构，进行更精细的操作。
也就是对传统逻辑的现代化和形式化……
主语一般是个体常项，谓语一般表示属性，关系等等。
逻辑符号比较好理解，但非逻辑符号有点绕……特别是函数符号部分，
[{9C1E4FB4-97B7-4C3B-8AE6-0A88597B8A3C}]
[image]
[image]
[image]
[image]
对谓语逻辑的深入探究，主要是对传统命题逻辑的升级和深入：
[image]
[image]
[image]
对函数和谓语中关系的厘清：
[image]
[image]
最后是一阶谓词逻辑和高阶谓词逻辑。
一阶的有很多很好的性质，而高阶的牺牲了这些性质获得了更强的表达能力。
[!tip...
────────── 链接信息 ──────────
🔗 论坛链接: linux.do
📎 访问地址: https://linux.do/t/topic/1004220/1
─────────────────────────────
📢 来源：LINUX DO
