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