左孝凌离散数学课件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) P Q P?Q 0 0 0 0 1 1 1 0 1 1 1 1 联结词“∨”的定义真值表 第一章 命题逻辑（Propositional Logic） 1.2联结词(Logical Connectives) * 说明：“∨” 属于二元(binary)运算符. 析取运算特点：只有参与运算的二命题全为假时，运算结果才为假，否则为真。 由析取联结词的定义可以看出， “∨”与汉语中的联结词“或”意义相近，但又不完全相同。在现代汉语中，联结词的“或”实际上有“可兼或”和“排斥或”之分。考察下面命题： （1）小王爱打球或爱跑步。（可兼或） 第一章 命题逻辑（Propositional Logic） 1.2联结词(Logical Connectives) * （2）林芳学过英语或法语。 （可兼或） （3）派小王或小李中的一人去开会。（排