- 1、本文档共32页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
交大数理逻辑课件命题逻辑的等值和推理演算.ppt
第2章 命题逻辑的等值和推理演算 2.1 等值定理 2.2 等值公式 2.3 命题公式与真值表的关系 2.4 联结词的完备集 2.5 对偶式 2.6 范式 2.7 推理形式 2.8 基本的推理公式 2.9 推理演算 2.10 归结推理法 极大项 定义 n个命题变项的简单析取式,其中每个命题变项与其否定不同时出现,而二者之一必出现且仅出现一次,这样的简单析取式称为极大项。 如:两个命题变元P和Q,其极大项为: P ? Q, P ? ?Q , ?P ? Q , ?P ? ?Q 说明 n个命题变项产生2n个极大项,它们互不等值 用Mi表示第i个极大项,每个小项的n个变元排序相同。(按下标或字典顺序),分别记为 其中i是该极大项成假赋值的十进制表示的补. (正变项:0,变元的否定:1) 由P, Q, R三个命题变项形成的极小项与极大项 主合取范式 主合取范式 由极大项构成的合取范式 如n=3, 命题变项为P, Q, R时,主合取范式: (P?Q??R)?(?P?Q??R) = M6?M2 定理 任何命题公式都存在与之等值的主合取范式, 并且是惟一的. 求主合取范式的方法 等值演算法和真值表法 求公式(P??Q)?R 的主合取范式 解1: : (P??Q)?R = ? (? P ? ? Q) ?R = (P?Q) ? R = (P?Q) ? (Q?R) ① P?R = (P?R) ? (Q ? ?Q ) =(P?R?Q) ? ( P? ?Q ?R) =M111 ? M101 ② Q?R =(Q?R) ? (P? ? P ) =(P?Q ?R) ? (? P? Q ?R) =M111 ? M011 ③ ②, ③代入①并排序,得主合取范式: =M3 ? M5 ? M7 = ?(3,5,7) 2.7 推理形式 推理引例: (1) 正项级数收敛当且仅当部分和有上界. (2) 若AèCíBèD,则AíB且CíD. 数理逻辑的主要任务是用逻辑的方法研究数学中的推理。 推理——从前提出发,应用推理规则推出结论的思维过程 上面(1)是正确的推理,而(2)是错误的推理. 推理的组成—— 前提——推理所根据的已知命题 结论——从前提出发通过推理而得到的新命题 证明—— 描述推理正确或错误的过程. 推理形式 例:如果我有时间,那么我就去上街; 如果我上街,那么我就去书店买书; 但我没有去书店买书, 所以我没有时间。 解:令 P:我有时间。 Q:我去上街。 R: 我去书店买书。 根据题意,前提为:P→Q,Q→R,?R 结论为:?P 推理的形式为: (P→Q)∧(Q→R)∧?R → ?P 重言蕴涵 定义 若(A1ùA2ù…ù Ak)?B为重言式,则称 由A1,A2,…, Ak推出结论B的推理正确(有效结论) 否则推理不正确(错误). “A1, A2, …, Ak 推出B” 的推理正确 当且仅当 A1ùA2ù…ùAk?B为重言式. 推理的形式结构—— A1ùA2ù…ùAk?B 或 前提: A1, A2, … , Ak 结论: B 若推理正确,则记作:A1ùA2ù…ùAk T B 例:判断下面推理是否正确 (1)若天气凉快,小王就不去游泳。天气凉快,所以小王没去游泳。 解题方法—— ①将命题符号化 ②写出前提、结论和推理的形式结构 ③进行判断 解: ① 设 P:天气凉快,Q:小王去游泳. ② 前提: P??Q,P 结论: ?Q 推理的形式结构为: ((P??Q)ùP) ? ?Q 判断上式是否为重言式 例:判断下面推理是否正确 (1)若天气凉快,小王就不去游泳。天气凉快,所以小王没去游泳。 ③判断 ((P??Q)ùP) ? ?Q 是否为重言式 方法1:真值表法 例:判断下面推理是否正确 (1)若天气凉快,小王就不去游泳。天气凉快,所以小王没去
文档评论(0)