离散数学3命题演算系统.pptVIP

离散数学(3) 陈斌 chenbin@ 2008.10.09 目录 数理逻辑 集合论 图论 抽象代数 数理逻辑 命题演算 命题与联结词 重言式 范式 命题演算形式系统 谓词演算 个体、谓词和量词 谓词演算永真式 谓词公式的前束范式 一阶谓词演算形式系统 上次我们讲到…… 几种命题公式 重言式、矛盾式、可满足式 逻辑等价、逻辑蕴含 重言式的代入原理 命题公式的替换原理 析（合）取范式、主析（合）取范式 联结词的（极小）功能完备集 命题演算：形式系统 重言式反应了人类逻辑思维的基本规律 排中律A∨?A╞╡t 矛盾律 A∧?A╞╡f 假言推理A∧(A→B)╞B 归谬推理(A→B)∧?B╞?A 穷举推理(A∨B)∧(A→C)∧(B→C)╞C 真值计算、以代入原理、替换原理进行推演难以反应人类思维推理过程，需要建立严密的符号推理体系 命题演算：形式系统 形式系统是一个符号体系 系统中的概念由符号表示 推理过程即符号变换的过程 以若干最基本的重言式作为基础，称作公理（axioms） 系统内符号变换的依据是若干确保由重言式导出重言式的规则，称作推理规则（rules of inference） 公理和推理规则确保系统内由正确的前提总能得到正确的推理结果 命题演算：证明与演绎 证明(proof) 公式序列A1,A2,…,Am称作Am的一个证明，如果Ai(1≤i≤m)或者是公理，或者由Aj1,…,Aj