热心市民钟先生对本书的所有笔记 · · · · · ·
-
第20页 1.2.3 德摩根律的运用
-
第49页 1.5.3 命题逻辑的推理规则
永真式(pΛ(p→q))→q是一个被称为假言推理或分离规则的推理规则的基础。（在拉丁文中假言推...
-
第53页 1.5.8 命题推理和量化语句推理规则的结合
-
第58页 1.6 证明导论
直接证明:... 反证法：反证用条件语句p→q等价于它的倒置¬q→¬p的事实来证明。 空证明...
-
第65页 1.7 证明的方法和策略
分情形证明 穷举证明
> 查看全部8篇
说明 · · · · · ·
表示其中内容是对原文的摘抄