《左孝凌离散数学课件1.1命题及其表示方法-1.2修正)联接词.pptVIP

* 1.2.3 析取联结词(Disjunction)∨ 定义1.2.3 1）设P,Q为二原子命题 2）复合命题“P或Q” 称为P与Q的析取式 3）记作P∨Q ，符号∨称为析取联结词. 4）P∨Q为真当且仅当 P与Q中至少有一个为真. 第一章 命题逻辑（Propositional Logic） 1.2联结词(Logical Connectives) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. P 0 0 1 1 Q 0 1 0 1 P?Q 0 1 1 1 联结词“∨”的定义真值表 第一章 命题逻辑（Propositional Logic） 1.2联结词(Logical Connectives) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 说明：“∨” 属于二元(binary)运算符. 析取运算特点：只有参与运算的二命题全为假时，运算