05a数理逻辑总复习素材.ppt

数理逻辑单元总复习 原子命题、复合命题 命题变元、命题常量 命题联结词 定义合式公式 定义真值表 真值表的讨论 命题的定律 置换规则 证明命题公式等价 定义重言式、矛盾式 重言式、矛盾式相关的定理 重言式的证明 定义蕴含式 蕴含式的定理、性质 蕴含式的证明 其他联结词 定义对偶式 关于对偶式的定理 利用对偶式求命题的非 定义范式 定义主合取(析取)范式 求主合取(主析取)范式 范式的编码表示 定义谓词 谓词填式与命题 命题函数的定义 命题函数与谓词的关系 量词的引入 定义谓词公式 谓词公式的翻译 变元的辖域(作用域) 约束变元的换名 有限域中消去量词 定义谓词公式的等价 三类谓词公式 量词与“┓”的关系 量词与∧、∨的关系 双量词的顺序 谓词公式的前束范式 前束合取(析取)范式 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 聪明绝顶 几种含义： 1、因为聪明而绝顶 2、因为绝顶而聪明 3、绝顶地聪明（聪明的程度） 4、所有的聪明人都是绝顶的（光头的） 5、所有绝顶的都是聪明人 如何运用谓词逻辑否定4、5两个命题？ 数学表达： 无穷性（无穷大、无穷小）： 任一个数，存在更大(小)的 唯一性：若存在两个，则必相等 存在量词和全称