1.6.1 简介 推理规则是构建有效论证的模板。 推理规则是确定命题真值的一种基本工具。 为什么要有推理规则？为了...[作者空间]
如果p，则q 如果p，q q如果p p蕴含q p仅当q p是q的充分条件 q的一个充分条件是p q当p q每当p ...[作者空间]
1.1 命题逻辑 1.2 命题逻辑的应用 1.3 等价命题 1.4 谓词和量词 1.5 量词嵌套 1.6 推理规则...[作者空间]
1.1 命题逻辑 1.2 命题逻辑的应用 1.3 等价命题 1.4 谓词和量词 1.5 量词嵌套 1.6 推理规则...[作者空间]
