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

等价公式定义：设A和B是两个命题公式，设P1,P2,…,Pn为所有出现于A和B中的命题变元,若给P1,P2,…,Pn任一组真值指派,A和B的真值都是相同的，则称A和B是等价的，或逻辑相等，记作A?B，读作A等价B，称A?B为等价式。 若公式A和B的真值表是相同的，则A和B等价。因此，验证两公式是否等价，只需做出它们的真值表即可。第23页，共39页，星期日，2025年，2月5日?和?的区别与联系区别：?是逻辑联结词，属于目标语言中的符号，它出现在命题公式中；?不是逻辑联结词，属于元语言中的符号，表示两个命题公式的一种关系，不属于这两个公式的任何一个公式中的符号。联系：定理：A?B当且仅当A?B是永真式。第24页，共39页，星期日，2025年，2月5日等价公式的性质①自反性，即对任意公式A，有A?A。②对称性，即对任意公式A和B，若A?B，则B?A。③传递性，即对任意公式A、B和C，若A?B、B?C，则A?C。第25页，共39页，星期日，2025年，2月5日基本等价式——命题定律在判定公式间是否等价，有一些简单而又经常使用的等价式，称为基本等价式或称命题定律。牢固地记住它并能熟练运用，是学好数理逻辑的关键之一。第26页，共39页，星期日，2025年，2月5日(1)双否定：??A?A。(2)交换律：A∧B?B∧A，A∨B?B∨A，A?B?B?A。第27页，共39页，星期日，2025年，2月5日(3)结合律：(A∧B)∧C?A∧(B∧C)，(A∨B)∨C?A∨(B∨C)，(A?B)?C?A?(B?C)。(4)分配律：A∧(B∨C)?(A∧B)∨(A∧C)，A∨(B∧C)?(A∨B)∧(A∨C)。(5)德·摩根律：?(A∧B)??A∨?B，?(A∨B)??A∧?B。(6)等幂律：A∧A?A，A∨A?A。第28页，共39页，星期日，2025年，2月5日第1页，共39页，星期日，2025年，2月5日复习引论：离散数学、数理逻辑命题联结词第2页，共39页，星期日，2025年，2月5日复习题：本命题是假的。我不给所有自己给自己理发的人理发，但是却会给所有自己不给自己理发的人理发。第3页，共39页，星期日，2025年，2月5日本节内容命题符号化第4页，共39页，星期日，2025年，2月5日命题分类与命题变元命题原子命题：不包含任何联结词的命题复合命题：至少包含一个联结词的命题命题变元一个不确定的泛指的任意命题定义：以真(1)、假(0)为其变域的变元注意：命题变元不是命题，只有用一个特定的命题取代才能确定它的真值：真或假（对该命题变元指派真值）命题公式含有命题变元的断言称为命题公式注意：不是所有由命题变元、联结词和括号所组成的字符串都能成为命题公式。第5页，共39页，星期日，2025年，2月5日合式公式原子公式定义：单个命题变元和命题常元称为原子命题公式，简称原子公式。合式公式合式公式是由下列规则生成的公式：①单个原子公式是合式公式。②若A是一个合式公式，则(lA)也是一个合式公式。③若A、B是合式公式，则(A∧B)、(A∨B)、(A→B)和(A?B)都是合式公式。④只有有限次使用①、②和③生成的公式才是合式公式。第6页，共39页，星期日，2025年，2月5日合式公式(Cont.)例：下列符号串是否为命题公式。（1）P→(Q∧PR）； （2）（P∨Q）→（?（Q∧R））第7页，共39页，星期日，2025年，2月5日合式公式(Cont.)当合式公式比较复杂时，常常使用很多圆括号，为了减少圆括号的使用量，可作以下约定：①优先级由高到低的次序为：l、∧、∨、→、?②相同的联结词按从左至右次序计算时，圆括号可省略。③最外层的圆括号可以省略。 第8页，共39页，星期日，2025年，2月5日合式公式(Cont.)例子?P∨?P∨Q∧?S∨?Q∧R 与(((?(P)∨?(P))∨(Q∧?(S))∨(?(Q)∧R)) 运算顺序完全一样,前者不加一个括号. 请大家特别注意先∧后∨的习惯.第9页，共39页，星期日，2025年，2月5日命题符号化 有了联结词的合式公式概念，我们可以把自然语言中的有些语句，翻译成数理逻辑中的符号形式第10页，共39页，星期日，2025年，2月5日命题的符号化把一个用文字叙述的命题相应地写成由命题标识符、联结词和圆括号表示的合式公式，称为命题的符号化。符号化应注意以下几点：①确定句子是