黄铜扳手的图书馆

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

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

数理逻辑(9)：自然演绎推理系统

更贴近自然演绎推理的命题演算形式系统

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

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

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

科学数学离散数学数理逻辑命题逻辑草稿

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

命题的对偶化表现形式

科学数学离散数学数理逻辑命题逻辑草稿

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

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

科学数学离散数学数理逻辑命题逻辑草稿

数理逻辑(5)：命题的范式

命题的规范化表现形式