命题公式及翻译.pptVIP

§1.3 命题公式与翻译 ;公式、命题公式（命题形式、合式公式well-formed formula, wff）;下面给出命题公式的递归定义。 (1)? 单个命题变元是合式公式，并称为原子命题公式。 (2)? 若A是合式公式，则(┐A)也是合式公式。 (3)? 若A，B是合式公式， 则(A∧B)，(A∨B)，(A→B)，(A?B)也是合式公式。 (4)? 只有有限次地应用(1)～(3)形式的符号串才是合式公式。 合式公式也称为命题公式或命题形式，并简称为公式。;下列符号串都是合式公式：;下列符号串是否为命题公式？;二、真值表的构建;定义　设p1,p2,…,pn是出现在公式A中的全部命题符号， 给p1,p2,…,pn各指定一个真值，称为对A的一个赋值或解释。 若指定的一组值使A的真值为T，则称这组值为A的成真赋值； 若使A的真值为F，则称这组值为A的成假赋值。;赋值;;例;例;（?p ∧ q）→ ?r的真值表;;公式的层次;例;命题公式的分类;说明; 我们可以用命题公式表示复合命题，常将这个过程称为命题的符号化，或称为命题的翻译。命题的翻译可按如下步骤进行： ①找出复合命题中的简单命题。 ②用英文字母表示这些简单命题。 ③使用命题联结词将这些英文字母连接起来。 ;例 试翻译下列命题。 (1)这个材料无趣,习题也不难,而且这门课程也不使人喜欢。 (2)如果这个材料无趣,或者习题难, 那么这门课程就不使人喜欢。 (3)这个材料有趣,意味着习题难,反之亦然。 (4)或者这个材料有趣, 或者习题难,二者恰具其一。;例 设A=明天上午七点下雨, B=明天上午七点刮风,C=我去学校, 试用A，B，C表示下列复合命题： (1)如果明天上午七点不刮风下雨，则我去学校； (2)如果明天上午七点不下雨并且也不刮风，则我去学校； (3)如果明天上午七点下雨或不刮风，则我去学校； (4)明天我风雨无阻，一定去学校； (5)只有当明天上午七点不下雨并且也不刮风时，我才去学校； (6)只有当明天上午七点下雨或刮风都不发生时，我才去学校．