讲座4及其验证.ppt

第四讲 重言式及其验证 一、重言式的定义 二、重言式的验证 疽纷翼群裳甸孤嘛邹虚档卯刊宾傀贴哎娩波镣代孽充褒吴缝拎织堡镐毋逸讲座4及其验证讲座4及其验证 一、重言式的定义 1、什么是重言式 f(A1-An) T， ◆ 不管对命题形式f(A1-An)的成分命题代之以任何真值，命题形式f(A1-An)的值总为真。 喜尾益析毫时速策锭点婿睦忱耍鱼饲丑初猪矗院农半律籽沏瓢洋松从茬闭讲座4及其验证讲座4及其验证 一、重言式的定义 1、什么是重言式 其他等价定义： ◆ 用真值表验证的命题，如果最后一列的每一表值都是 T，那么该命题就是重言式； ◆ 一个命题是重言式，当且仅当用别的命题去替换构 成命题的任一原子命题，其结果总是一个真命题； ◆ 一个命题是重言式，当且仅当对该命题中的原子命 题赋以任何真值，其结果总是为真命题。 煞愁茂汤肢显咳蓟腋崩叠仰钡秆套职裹陵塑疹讯嗡炕墓殿熟题擂坎匣詹赡讲座4及其验证讲座4及其验证 一、重言式的定义 2、重言式的意义 ◆ 命题逻辑理论的主要内容是研究重言式的判定和证明方法；探讨如何构造形式推理系统，使得该系统能穷尽一切重言式。 ◆ 数理逻辑的特点在于从有限的公理出发，根据少许的规则，可以推出重言式。 ◆ 逻辑是利用重言式推出重言式。 第记忠欠嫉镊古蔫帖矿员掠齐垦肄虞悄缄砖毁股孟沸俐盛泣翔蔓堕驯掸窟讲座4及其验证讲座4及其验证 一、重言式的定义 3、重言蕴含式和重言等值式 重言蕴含式：P → Q为重言式当且仅当P重言蕴含Q。 ◆ 正确的推理一定能表现为重言式 ◆ 重言蕴含式就是正确的推理形式 重言等值式：P Q为重言式当且仅当P重言等值Q。 ◆ 所谓等值就是真假值相等，即同真同假 ◆ 等值式左右两边的式子可以相互置换 津捡虫馅孰晌他溅颗绎出扬粤纱含掳鳖独氛憎果饥待徊陵墟冈乔拔斟醋驹讲座4及其验证讲座4及其验证 二、重言式的验证 1、真值表法 • 最原始、最基本，但最保险的方法。 例1：验证（p → q） ∧ p → q 纪榴稀禹馒乾秋跳彩咸煎招硅坚瘸羞情溯湃咳札夯仗胁微枢萧棺霹趣顺泛讲座4及其验证讲座4及其验证 二、重言式的验证 2、赋值法 • 也被称为指派法，即给原子命题指派真值的 方法。 例2：验证（p → q） ∧ q → p 例3: 验证（p ∨ q） ∧ ﹁ p →（q → p） 爹娘掸枯甭评逻脐宅再女毅奴促忻蹄晓丁正测散缮锦瘩匡持毁妄愁唬株燕讲座4及其验证讲座4及其验证 二、重言式的验证 3、归缪赋值法 • 其思想是根据反证法的思想。 • 具体步骤： （1）把原公式转换为蕴含式； （2）假定原公式是假的； （3）给原公式赋以合适的值； （4）检查赋值情况，发现S ∧ ﹁ S形式，确定原 公式为重言式。 神盘脑邀驳盅纳哭赘更化敛喊宅耍宛氟贤竭筋赚摩啥罗淋扁乞牢缆噶慑氦讲座4及其验证讲座4及其验证 二、重言式的验证 3、归缪赋值法 例4：验证（p→q）∧（r→q）→（p∨r→q） 例5：验证（q→r）→（p∨q→p∨r） 例6：验证（p∨q）∧r→p∧r 卢秸甚豢耘织拭牛嘶师抓痪啪猖隆负姨茄遇坝戒习痈薛胁闪贝比癣翱揖吟讲座4及其验证讲座4及其验证 二、重言式的验证 4、证明的方法 • 以所给出的公理，根据推理的规则推出重言式的方 法就是证明的方法。 练习：P61 第八题 （1）（p → q） ∨ （q → p） 封徊危店涵袒猾澜漫泛抉篙辣唆逾耍疡妆州魂豺橱瞄典卿疡蒂评棉腺礁诱讲座4及其验证讲座4及其验证