离散-3-1-命题逻辑

- 主要内容： - 推理理论推理规则常用推理方法直接证法附加前提证法反证法应用：逻辑电路设计 - <#> - .