《第1章命题逻辑-2》-精选课件(公开).pptVIP

第一章 命题逻辑1.2逻辑联结词 在命题逻辑中,主要研究的是复合命题,而复合命题是由原子命题与逻辑联结词组合而成,联结词是复合命题的重要组成部分. 1.2.1 否定联结词 ┐ 定义1.2.1 设P为一命题， P的否定是一个新的 复合命题, 称为P的否定式，记作 “┐P”读作“非 P”. 符号“ ┐” 称为否定联结词。 ┐P为真当且 仅当P为假. 说明： “┐”属于一元运算符. “┐”的定义也可用下表来说明. 联结词“┐”的定义真值表 1.2.2 合取联结词(∧二元运算符) 定义1.2.2 设P,Q为二命题，复合命题“P并且Q” （或“P与Q”）称为P与Q的合取式，记作 P∧Q，符号“∧” 称为合取联结词. P∧Q为真 当且仅当P和Q同时为真. 联结词“∧”的定义真值表 说明 自然语言中的表示“并且”意思的联结词，如 “既…又…”、 “不但…而且…”、 “虽然…但是…”、 “一面…一面…”、 “…和…”、 “…与…” 等都可以 符号化为∧ 。 例2. 将下列命题符号化. (1) 李平既聪明又用功. (2) 李平虽然聪明, 但不用功. (3) 李平不但聪明,而且用功. (4) 李平不是不聪明,而是不用功. 解: 设 P:李平聪明. Q:李平用功. 则 (1) P∧Q (2) P∧┐Q (3) P∧Q (4) ┐(┐P)∧┐Q 例3. 试生成下列命题的合取. (1) P: 我们在108教室. Q: 今天是星期二. (2) S：李平在吃饭. R：张明在吃饭. 解: (1) P∧Q :我们在108教室，且今天是星期二. (2) S∧R:李平与张明在吃饭. 1.2.3 析取联结词(二元运算符)∨ 定义1.2.3 设P, Q为二命题，复合命题“P或Q” 称为P与Q的析取式，记作P∨Q ，符号∨称为 析取联结词. P∨Q为真当且仅当 P与Q中至少有 一个为真. 联结词“∨”的定义真值表 说明 由析取联结词的定义可以看出， “∨”与汉 语中的联结词“或”意义相近，但又不完全相同。 在现代汉语中，联结词的“或”实际上有“可兼或” 和“排斥或”之分。 （3）派小王或小李中的一人去开会。（排斥或） 设P：派小王去开会。Q：派小李去开会。 则上述命题可符号化为：(P∧┐Q)∨(┐P∧Q) （4）人固有一死，或重于泰山或轻于鸿毛. (排斥或） （5）ab=0, 即a=0 或 b=0. （可兼或） 由此可见, “P∨Q”表示的是“可兼或”. 1.2.4. 条件联结词(蕴涵联结词二元运算符)→ 定义1.2.4 设P, Q为二命题，复合命题“如果P 则Q (若P则Q)” 称为P与Q的条件命题,记作 P ?Q. P?Q为假当且仅当P为真且Q为假.称符 号“?”为条件联结词。并称P为前件，Q为后 件. 联结词“?”的定义真值表 注： P?Q表示的基本逻辑关系是,Q是P的必要条件或P是Q的充分条件. 因此复合命题“只要P就Q”、“因为P，所以Q”、“P仅当Q”、“只有Q才P”等都可以符号化为P?Q 的形式。 例4. 将下列命题符号化。 （1）天不下雨，则草木枯黄。 P：天下雨。 Q：草木枯黄。 则原命题可表示为： ┐P→Q。 （2）如果小明学日语，小华学英语，则小芳 学德语。 P：小明学日语. Q：小华学英语. R：小芳学德语. 则原命题可表示为：(P∧Q)→R （3）只要不下雨，我就骑自行车上班。 P：天下雨。Q：我骑自行车上班。 则原命题可表示为： ┐P→Q。 （4）只有不下雨，我才骑自行车上班。 P：天下雨。Q：我骑自行车上班。 则原命题可表示为： Q →┐P 。 （5）如果 2+2=4, 则太阳从东方升起。 (P→Q, T) P Q ?? ?如果 2+2=4, 则太阳从西方升起。 (P→R, F) R ???? 如果 2+2≠4,