数理逻辑_1.pptVIP

定理１(代入原则)　设A是一个永真式， P１，P２，…，Pn为其中出现的所有命题变元，A１，A２，…，An是任意一组公式，若用Ai (１≤i≤n) 代替A中的Pi得到公式B，则B必为永真式． 作业：习题二、习题 三 数理逻辑 命题逻辑 命题 联结词 合式公式 等价式 范式 推理理论 谓词逻辑 谓词与量词 合式公式 等价与范式 推理理论 数理逻辑是研究推理的科学 数理逻辑的创始人是Leibniz——把推理变为演算 1847年，英国数学家Boole实现了命题演算 1897年，德国数学家Frege建立了第一个谓词演算系统 ........ Giorgi Japaridze 命题逻辑 命题 联结词 合式公式 命 题 具有真假意义的陈述句称作命题． ３＞２． 雪是白色的． 雪是黑色的． 任何大于等于６的偶数，必可表为两个奇素数之和． 1＋1＝10． 那个人是本科生． 下列语句不是命题 请关好门！ 好大的雪啊！ 他明天会来吗？ 本语句为假． 如果一个命题是真的，则说这个命题的真值(或值)为“真”，否则，说这个命题的真值(或值)为“假”． 通常，“真”用１或T表示，“假”用０或F表示． 一般，用大写字母P，Q，R等表示命题．例如可用P表示“北京是中国的首都”，Q表示“雪是黑色的”，等等 但更多的，把这些字母称作命题变元或命题变量。（变量的值取1或0） （常量、变量） 简单命题或原子命题 我在讲课。 复合命题 我在讲课 而且 外面在下雨。 简单命题 + “逻辑联结词” + 简单命题 联 结 词 １．否定 ? ２．析取 ３．合取 ４．蕴涵 ５．等价 否定 定义１　设P是一个命题，“P的否定”是一个命题，记为?P，规定? P为１当且仅当P为０， ? P读作“非P”． P表示“地球是圆的”，则? P表示 “非地球是圆的” “地球不是圆的” Q表示“今天星期二”，则? Q表示“今天不是星期二”． P与 ? P 的真值关系——真值表 析取 定义２　 设P，Q为两个命题，“P，Q的析取”是一个命题，记为P∨Q，读作“P或Q”，规定： P∨Q为１当且仅当 P，Q中至少有一个为１． P表示“今天下雨”，Q表示“今天刮风”，则P∨Q表示“今天下雨或者刮风” P∨Q与P，Q的真值关系 合取 设P，Q为两个命题，“P，Q的合取”是一个命题，记为P∧Q，读作“P且Q”．规定： P∧Q为１当且仅当P，Q均为１。 P表示“f (x)是连续函数”，Q表示“f (x)是非负函数”，则 P∧Q表示f (x)是连续的非负函数”． P∧Q与P，Q的真值关系表 蕴涵 设P，Q是两个命题，“P蕴涵Q”是一个命题，记为P→Q，读作“如果P则Q”。规定： P→Q为０当且仅当“P为１，Q为０”． 若P表示“f(x)可导”，Q表示“f(x)连续”，则P→Q表示“如果f(x)可导，则f(x)连续”． 若命题P表示“２＋３＝５”，Q表示“雪是白的”，P→Q是一个真命题 当命题P为假时“P→Q”总为真. “如果老王今天来，则太阳会从西边出来” “如果P则Q” 与 “如果P不成立，则Q不成立” 没有关系。 “如果（要是）中了大奖，我就买驾飞机。” 等价 设P，Q为两个命题，“P等价于Q”是一个命题，记为P?Q， “P当且仅当Q”．规定： “P ? Q为１”当且仅当“P，Q的真值相同”． 若P表示a２＋b２＝a２，Q表示b＝０，则 “P ? Q”表示“a２＋b２＝a２当且仅当b＝０”． P?Q与P，Q的真值表 ∨，∧，→， ? 均联结两个命题，因此称为二元联结词 ? 只作用于一个命题，称为一元联结词. 张三和李四都会修电视机． 若用P表示“张三会修电视机”，Q表示“李四会修电视机”，则上述命题可表示为P∧Q． 张三与李四是表兄弟 。 合式公式（公式 ） 合式公式(well formed formula，wff )的归纳定义如下 (１)　命题变元及命题常元０、１是合式公式． (２)　如果A，B是合式公式，则(? A)，(A∨B)，(A∧B)，(A→B)，(A ? B)是合式公式． (３)　任何合式公式均通过有限次使用(１)、(２)得到． (? P∨Q→)，(P∨Q∧)，(P→Q→R)∨，∨R 都不是公式 对逻辑联词规定优先级. 逻辑联结词按优先级从高到低的顺序依次排列为： ? 　∧　∨　→　 ? 定义２　设G是一个公式，对G中出现的每个命题变元指定一个真值１或０，则得到该公式中命题变元的一个真值组合，称之为对公式G的一个指派(或解释)． 公式A在指派 I 下的真值可记为 AI. 例１　对于公式(P∧Q)→Q∨R， ….. 设A是一个公式，其