部分的教学内容，基本就是按照这样的模式展开的：命题符号化（对象）、逻辑运算（联结词）、运算律（基本等值式）、等值演算、标准型（范式）、应用（解判定问题、证明等值式、实际应用、推理理论等）。因而，命题逻辑这部分内容的知识点并不零散，贯穿着代数化这条主线。　　教学实践表明，通过逻辑代数化这个主线串联命题逻辑这部分主要内容，
(8/22)
下页
上页
返回列表
返回