数理逻辑08的.ppt

数理逻辑 数理逻辑：用数学的方法研究逻辑问题。 逻辑演算：命题逻辑演算、谓词逻辑演算。 公理集合论 证明论 模型论 递归论 1.1 命题 命题：可以区分真假的陈述句。 ①今天是星期一。 ②南京是江苏的省会。 ③今天天气真好啊！ ④禁止抽烟！ ⑤你有笔吗？ 1.2 联结词与真值表 原子命题：不能再分解的命题。 ①今天是星期一。 ②南京是江苏的省会。 ③他在跑步或打球。 1.2 联结词与真值表 否定(非）：┓ 含义：不 如果p表示“今天是星期一”， 则┓p表示“今天不是星期一”。 1.2 联结词与真值表 合取词：∧ 含义：并且 如果p表示“今天是星期一”， q表示“今天是晴天”， 则p∧q表示“今天是星期一并且今天是晴天”。 1.2 联结词与真值表 析取词：∨ 含义：或者 如果p表示“小王在跑步”，q表示“小李在打球”，则p∨q表示“小王在跑步或者小李在打球”。 1.2 联结词与真值表 不可兼或:小王现在在操场或者教室，用r表示。p表示“小王在操场”，q表示“小王在教室” 1.2 联结词与真值表 蕴含词：? 含义：如果...那么... 如果p表示“我有空”，q表示“我去图书馆”，则p?q表示“如果我有空,那么我就去图书馆”。 1.2 联结词与真值表 蕴含怪论： 如果今天是星期一，那么南航位于北京。 1.2 联结词与真值表 等值词?： 含义：当且仅当，同真假，同或 如果p表示“今天天气好”，q表示“小李上街去”，则p?q表示“当且仅当今天天气好，小李上街去”。 1.2 联结词与真值表 联结词的优先顺序：┓、∧、∨、?、? 用命题符号及联结词来表示下列命题： p：今天下雨。q：我进城去。r：我有时间。 ①如果今天不下雨，并且我有时间，我就进城去。 ②如果今天下雨，我就不进城去。 ③只有当今天不下雨，我才进城去。 1.2 联结词与真值表 解释：对命题逻辑公式中的每个命题符号指定真假值，称之为该公式的一个解释。 1.2 联结词与真值表 永真式：如果一个公式在所有解释下取值都为真，称之为永真式。 永假式：如果一个公式在所有解释下取值都为假，称之为永假式。 1.2 联结词与真值表 同真假式：如果两个公式在所有解释下的真假值都相同，称这两个公式是同真假式。 1.2 联结词与真值表 一些同真假式 交换律：p∨q 与 q∨p 结合律：p∨(q∨r) 与 (p∨q)∨r 德摩根律：┓(q∨r) 与 ┓q∧┓r 吸收律：p∨(p∧q) 与 p 逆否律：p?q 与 ┓q?┓p p?q 与┓p∨q p?q 与 (p?q)∧ (q?p) ┓(p?q) 与 p∧┓q 命题逻辑自然推理系统PN 命题逻辑自然推理系统PN 命题逻辑自然推理系统PN 命题逻辑自然推理系统PN 命题逻辑自然推理系统PN 命题逻辑自然推理系统PN PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 PN系统的展开 Th8: ┐┐A├┤A （?传递律） PN系统的展开 Th10: A?B，┐B├ ┐A PN系统的展开 Th11: A?B├ ┐B?┐A PN系统的展开 Th12: ┐A?┐B，B├A PN系统的展开 Th13: ┐A?┐B├ B?A PN系统的展开 Th14: A?┐B，B├ ┐A PN系统的展开 Th15: A?┐B├ B?┐A PN系统的展开 Th16: ┐A?B，┐B├ A PN系统的展开 Th17: ┐A?B├ ┐B?A PN系统的展开 Th18: ┐A?A├ A PN系统的展开 Th19: A?┐A├ ┐A PN系统的展开 Th20: A?B，A?┐B├ ┐A PN系统的展开 Th21: A?B，┐A?B├ B PN系统的展开 Th22: ┐(A?B)├ A, ┐B PN系统的展开 Th23: 如果Γ，A├C且Γ，B├C，则Γ，A∨B├C (∨-) PN系统的展开 Th24: A∧B├┤B∧A PN系统的展开 Th24: (A∧B)∧C├┤A∧(B∧C) PN系统的展开 Th24: A∧B├┤ ┐(A?┐B) 命题逻辑的可靠性与完备性 命题逻辑的可靠性与完备性 第三章 谓词与量词 第三章 谓词与量词 第三章 谓词