Pager 3 - 黄铜扳手的图书馆

👋欢迎来到黄铜扳手的图书馆

科学数学元数学非形式化数理逻辑一阶谓词逻辑演算形式系统草稿

非形式化数理逻辑(19)：一阶谓词演算形式系统组成

定义一些一阶谓词逻辑的基本概念

科学数学元数学非形式化数理逻辑一阶谓词逻辑

非形式化数理逻辑(18)：一阶谓词逻辑的语义

在集合论下一阶谓词逻辑的语义

科学数学元数学非形式化数理逻辑一阶谓词逻辑草稿

非形式化数理逻辑(17)：自然语句的形式化

将自然语句形式化为一阶谓词逻辑

科学数学元数学非形式化数理逻辑一阶谓词逻辑

非形式化数理逻辑(16)：一阶谓词逻辑基本概念

定义一些一阶谓词逻辑的基本概念

科学数学元数学非形式化数理逻辑命题逻辑演算形式系统草稿

非形式化数理逻辑(7)：命题逻辑演算形式系统(PC)

更贴近数学计算的命题演算形式系统