真值表公式分类命题定律代入置换.pptVIP

代入规则和替换规则

在定义合成公式时，已看到了逻辑联结词能够从已知公式形成新的公式，从这个意义上可把逻辑联结词看成运算。除逻辑联结词外，还要介绍“代入”和“替换”，它们也有从已知公式得到新的公式的作用。第31页,共39页，2024年2月25日，星期天代入规则定理1.3.2在一个永真式A中，任何一个原子命题变元R出现的每一处，用另一个公式代入，所得公式B仍是永真式。本定理称为代入规则。例子：课本例1.3.4第32页,共39页，2024年2月25日，星期天替换规则定理1.3.3设A1是合式公式A的子公式，若A1?B1，并且将A中的A1用B1替换得到公式B，则A?B。称该定理为替换规则。满足定理1.3.3条件的替换，称为等价替换。例子：课本例1.3.5例1.3.6第33页,共39页，2024年2月25日，星期天代入和替换有两点区别： ①代入是对原子命题变元而言的，而替换可对命题公式实行。 ②代入必须是处处代入，替换则可部分替换，亦可全部替换。第34页,共39页，2024年2月25日，星期天总结真值表公式分类、等价公式命题定律代入置换第35页,共39页，2024年2月25日，星期天思考题在某研讨会的休息时间，名与会者根据王教授的口音对他是哪个省市的人进行了判断：甲说王教授不是苏州人，是上海人；乙说王教授不是上海人，是苏州人；丙说王教授既不是上海人，也不是杭州人。听完以上人的判断后，王教授笑着说，他们人中有一人说的全对，有一人说对了一半，另一人说的全不对。试问王教授是哪里人？第36页,共39页，2024年2月25日，星期天下次课程对偶、蕴涵和其他联结词第37页,共39页，2024年2月25日，星期天Thankyou第38页,共39页，2024年2月25日，星期天感谢大家观看第39页,共39页，2024年2月25日，星期天关于真值表公式分类命题定律代入置换复习引论：离散数学、数理逻辑命题联结词第2页,共39页，2024年2月25日，星期天复习题：本命题是假的。我不给所有自己给自己理发的人理发，但是却会给所有自己不给自己理发的人理发。第3页,共39页，2024年2月25日，星期天本节内容命题符号化第4页,共39页，2024年2月25日，星期天命题分类与命题变元命题原子命题：不包含任何联结词的命题复合命题：至少包含一个联结词的命题命题变元一个不确定的泛指的任意命题定义：以真(1)、假(0)为其变域的变元注意：命题变元不是命题，只有用一个特定的命题取代才能确定它的真值：真或假（对该命题变元指派真值）命题公式含有命题变元的断言称为命题公式注意：不是所有由命题变元、联结词和括号所组成的字符串都能成为命题公式。第5页,共39页，2024年2月25日，星期天合式公式原子公式定义：单个命题变元和命题常元称为原子命题公式，简称原子公式。合式公式合式公式是由下列规则生成的公式：①单个原子公式是合式公式。②若A是一个合式公式，则(lA)也是一个合式公式。③若A、B是合式公式，则(A∧B)、(A∨B)、(A→B)和(A?B)都是合式公式。④只有有限次使用①、②和③生成的公式才是合式公式。第6页,共39页，2024年2月25日，星期天合式公式(Cont.)例：下列符号串是否为命题公式。（1）P→(Q∧PR）； （2）（P∨Q）→（?（Q∧R））第7页,共39页，2024年2月25日，星期天合式公式(Cont.)当合式公式比较复杂时，常常使用很多圆括号，为了减少圆括号的使用量，可作以下约定：①优先级由高到低的次序为：l、∧、∨、→、?②相同的联结词按从左至右次序计算时，圆括号可省略。③最外层的圆括号可以省略。 第8页,共39页，2024年2月25日，星期天合式公式(Cont.)例子?P∨?P∨Q∧?S∨?Q∧R 与(((?(P)∨?(P))∨(Q∧?(S))∨(?(Q)∧R)) 运算顺序完全一样,前者不加一个括号. 请大家特别注意先∧后∨的习惯.第9页,共39页，2024年2月25日，星期天命题符号化 有了联结词的合式公式概念，我们可以把自然语言中的有些语句，翻译成数理逻辑中的符号形式第10页,共39页，2024年2月25日，星期天命题的符号化把一个用文字叙述的命题相应地写成由命题标识符、联结词和圆括号表示的合式公式，称为命题的符号化。符号化应注意以下几点：①确定句子是否为命题.不是就不必翻译.②确定句中连接词是否能对应于并且