Pager 4 - 黄铜扳手的图书馆

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

科学数学元数学数理逻辑一阶谓词逻辑

数理逻辑(18)：一阶谓词逻辑基本概念

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

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

数理逻辑(7)：命题逻辑演算形式系统的组成

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

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

数理逻辑(16)：归结证明法

利用消解原理证明命题公式的真假性

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

数理逻辑(15)：命题的对偶式

命题的对偶化表现形式

科学数学元数学数理逻辑命题逻辑

数理逻辑(6)：联结词的扩充与归约

联结词的可表示性与完备性