高等学校21卌纪教材 1.1金题与张结词 1.2命题变元和合式么式 1.3么式分类与等价么式 1.4偶式与蕴涵式 1.5联结词的力与功能完全组 1.6么式标推型范式 1.7公式的主范式 1.8题逻的推理理论 PT PRESS 人民邮电出版社1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论