Pager 4 - 黄铜扳手的图书馆

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

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

非形式化数理逻辑(14)：归结证明法

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

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

非形式化数理逻辑(13)：命题的对偶式

命题的对偶化表现形式

科学数学元数学非形式化数理逻辑命题逻辑

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

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

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

非形式化数理逻辑(12)：命题的范式

命题的规范化表现形式

科学数学元数学非形式化数理逻辑命题逻辑

非形式化数理逻辑(5)：命题与联结词

命题的概念与命题之间的联结词