👋
欢迎
来到
黄铜
扳手
的
图书馆
科学
数学
离散数学
数理逻辑
命题逻辑
草稿
数理逻辑(7)：命题的对偶式
命题的对偶化表现形式
上一讲：联结词的扩充与归约
返回书籍：数理逻辑
返回目录：命题逻辑
下一讲：命题逻辑演算形式系统(PC)