离散数学教程 命题公式与翻译.pptVIP

1.3 命题公式与翻译 预备知识 原子命题：不能分解为更简单的陈述语句的命题，即它不含任何联结词。 复合命题：至少含一个联结词的命题。 如： 若 P和Q是两个命题，则 ?P，P ∧Q，P∨Q，P → Q等均是复合命题。 若P和Q是命题变元，则 ?P，P ∧Q，P∨Q，P → Q，P→Q等式子就称作命题公式。 命题公式没有真假值，只有进行指派后，它才是命题。 注意:并不是由命题变元,联结词和一些括号组成的字符串就一定能构成命题公式 一、命题公式 命题公式(wellformedfomula，wff)的定义 将命题变元用联结词和括号按照一定的逻辑关系连接起来的符号串称为命题演算的合式公式（命题公式，公式）。其定义规定如下： (1)单个命题变元本身是一个合式公式。 (2)若A是合式公式，则?A也是合式公式。 (3)若A，B是合式公式，则A ∧ B，A∨B，A→B和A?B也是合式公式。 (4)当且仅当经过有限次地使用(1)-(3)所形成的符号串才是合式公式。 例如: 合法的公式: ?(P∧Q) ?(P → Q) (P → (P ∨ ?Q)) ((P →Q) ∧(Q→R)) ? (S?T )) 不是命题公式 (P → Q)→ (∧Q) (P → Q (P ∧Q） → Q) 二、翻译 翻译定义：把自然语言中的一些语句变成数理逻辑中的符号形式。 自然语句形式化的过程主要包括两个步骤： a.分析出各简单命题，将它们符号化； b.根据自然语句中的逻辑关系，使用恰当的命题联结词，把简单命题逐个联结起来，构成复合命题的特号化表示。 二、翻译 (3)语句形式化要注意： a、要善于确定简单命题，不要把一个概念（如“我和他是同学”是一个简单命题）硬拆成几个概念。“我和他是同学”是一个简单命题； b、要善于识别自然语言中的联结词(有时它们被省略)。 如：狗急跳墙。应理解为：P：狗急了，Q：:狗才跳墙，上述语句形式化成： Ｐ→Q。 c、否定词的位置要放准确。 如：如果你和他不都是傻子，那么你们俩都不会去自讨没趣。设A：你是傻子，B：他是傻子，C：你会去自讨没趣，D：他会去自讨没趣。 上述语句形式化为： ?(A ∧ B)→ ( ?C ∧? D)。 1.4 真值表与等价公式 定义 给公式A中的命题变项 p1, p2, … , pn指定 一组真值称为对A的一个赋值或解释 成真赋值: 使公式为真的赋值 成假赋值: 使公式为假的赋值 说明： 赋值?=?1?2…?n之间不加标点符号，?i=0或1. A中仅出现 p1, p2, …, pn，给A赋值?1?2…?n是 指 p1=?1, p2=?2, …, pn=?n A中仅出现 p, q, r, …, 给A赋值?1?2?3…是指 p=?1,q=?2 , r=?3 … 含n个变项的公式有2n个赋值. 真值表: 公式A在所有赋值下的取值情况列成的表 例 给出公式的真值表 A= (q?p) ?q?p 的真值表 公式的类型 定义 设A为一个命题公式 (1) 若A无成假赋值，则称A为重言式(也称永真式) (2) 若A无成真赋值，则称A为矛盾式(也称永假式) (3) 若A不是矛盾式，则称A为可满足式 注意：重言式是可满足式，但反之不真. 公式的类型 逆换式、反换式、逆反式 1.6 其它联结词及全功能集 一、其它联结词（了解） 不可兼析取(符号: )：真值相同为F 条件否定(符号: ):前提为T，结论为F 与非(符号: ↑ ):真值均为T时为F 或非(符号: ↓ ): 真值均为F时为T 二、联结词的全功能集 定义 在一个联结词的集合中，如果一个联结词可 由集合中的其他联结词定义，则称此联结词为冗余 的联结词，否则称为独立的联结词. 例如,在联结词集{?, ?, ?, ?, ?}中，由于 p?q??p?q, 所以，?为冗余的联结词; 类似地，?也是冗余的 联结词. 又在{?, ?, ?}中，由于 p?q??(?p??q)， 所以，?是冗余的联结词. 类似地，?也是冗余的联 结词. 定义 设S是一个联结词集合，如果任何n(n?1) 元 真值函数都可以由仅含S中的联结词构成的公式表 示，则称S是联结词全功能集. 说明： 若S是联结词全功能集，则任何命题公式都可用S 中的联结词表示. 若S1, S2是两个联结词集合，且S1 ? S2. 若S1是全 功能集，则S2也是全功能集. 联结词的全功能集实例 (1) S1={?, ?, ?, ?} (2) S2={?, ?, ?, ?, ?} (3) S3={?, ?} (4