第一章 命题逻辑 1.7 推理理论1.7 推理理论
1.6 组合电路老师应该不会讲（咱们上一届就没讲），所以咱们直接跳过。1.7 推理理论定义： 称蕴含式（A1A_1A1 ∧\wedge∧ A2A_2A2 ∧\wedge∧ ⋯\cdots⋯ ∧\wedge∧ AnA_nAn）→\rightarrow→ B 为推理的形式结构\red{推理的形式结构 }推理的形式结构，A1A_1A1 , A2A_2A2, ⋯\cdots⋯ ,AnA_n...
