离散数学12- Propositional equivalences.pptVIP

fall 2001 命题公式 由命题标识符、逻辑联结词和圆括号按照一定的正确规则组成的字符串称为命题公式，或合式公式，简称公式。 命题公式的规定： （1）单个命题变项是合式公式。 （2）如果A是合式公式，则~A是合式公式。 （3）如果A、B是合式公式，则A?B、 A ? B、A?B、A ? B也是合式公式。 当且仅当有限次运用（1）（2）（3）所得到的符号串是合式公式。 Example （P ? Q），P ? （Q ? R）， ? P ? （Q ? R）是公式 （P ? Q，P ? ，P ? Q，P?不是公式 命题变项的指派（赋值） 命题与命题变项 命题指具体的陈述句，有确定的真值 为了对命题做逻辑演算，用数学手法将命题符号化。 当命题符号P表示任意命题时，称为命题变项（变元） 命题变项的真值不定，只有将具体命题代入命题变项时，方可确定其真值。 指派（赋值）： 命题公式中出现n个不同的命题变项P1?Pn ，对这n个命题给定一组真值指定称为这个公式的一个指派或称为一个赋值。 若一个公式中出现n个不同的命题变项，每个变项分别可以取成1、0，那么该公式共有个2n不同的指派。 公式的真值表 列出公式的所有指派及其相应的公式真值形成的表格称为公式的真值表。 公式真值表对我们进行证明以及判断公式的恒真、恒假起很大作用。 Example ‘If I go to Harry’s or go to the country, I will not go shopping.’ P: I go to Harry’s Q: I go to the country R: I will go shopping If......P......or.....Q.....then....not..…R (P úQ)?~R Example Constructing a truth table: one column for each propositional variable one for the compound proposition count in binary n propositional variables = 2n rows You may find it easier to include columns for propositions which themselves are component propositions. Example Truth Table: P Q R (P úQ)?~R 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 Question How many different propositions can be constructed from n propositional variables? 命题公式的分类 A tautology （永真式）is a proposition which is always true . Classic Example: Pú~P A contradiction （永假式）is a proposition which is always false . Classic Example: Pù~P A contingency（可满足式） is a proposition which neither a tautology nor a contradiction. Example: (P úQ)?~R Propositional Equivalence Two syntactically (i.e., textually) different compound propositions may be semantically identical (i.e., have the same meaning). We call them logically equivalent. Compound propositions that have the same truth values in all rows of their truth tables are called logically equivalent . Propositional Equivalences Two propositions P and Q are logically equivalent （逻辑等价）if P ? Q is a tautology. We write P?Q or P?Q Provi