第一章命题逻辑（PropositionalLogic)1.1-2逻辑联结词(LogicalConnectives)否定联结词(Negation)2合取联结词(Coniunction)A3析取联结词DisiunctionV条件联结词（蕴涵联结词Conditional)一45双条件联结(等值联结词Biconditional)2026/3/15计算机科学与工程系
2026/3/15 计算机科学与工程系 1 第一章 命题逻辑（Propositional Logic） 1.1-2逻辑联结词(Logical Connectives) 1 否定联结词(Negation) ┐ 2 合取联结词(Conjunction)∧ 3 析取联结词(Disjunction)∨ 4 条件联结词(蕴涵联结词Conditional)→ 5 双条件联结(等值联结词Biconditional)
第一章命题逻辑（PropositionalLogic)1.1-2逻辑联结词(LogicalConnectives)在命题逻辑中,主要研究的是复合命题,而复合命题是由原子命题（即简单命题）与逻辑联结词组合而成,联结词是复合命题的重要组成部分1否定联结词-定义1.1 设p为一命题，p的否定是一个新的复合命题，称为p的否定式，记作“p"读作“非p”符号“，”称为否定联结词。7p为真当且仅当p为假.说明：“,”属于一元(unary)运算符2026/3/15计算机科学与工程系
2026/3/15 计算机科学与工程系 2 第一章 命题逻辑（Propositional Logic） 1.1-2逻辑联结词(Logical Connectives) 在命题逻辑中,主要研究的是复合命题,而复合命 题是由原子命题(即简单命题)与逻辑联结词组合而 成,联结词是复合命题的重要组成部分. 1 否定联结词 ┐ 定义1.1 设p为一命题， p的否定是一个新的复合命 题, 称为p的否定式，记作 “ ┐p”读作“非p”. 符号 “ ┐ ” 称为否定联结词。 ┐p为真当且仅当p为假. 说明： “ ┐ ”属于一元(unary)运算符
第一章命题逻辑（PropositionalLogic）1.1-2逻辑联结词(LogicalConnectives）“”的定义也可用下表来说明联结词“”的定义真值表p1p01012026/3/15计算机科学与工程系
2026/3/15 计算机科学与工程系 3 第一章 命题逻辑（Propositional Logic） 1.1-2逻辑联结词(Logical Connectives) ◼ “┐”的定义也可用下表来说明. 联结词“┐”的定义真值表 p ┐p 0 1 1 0
第一章命题逻辑（PropositionalLogic）1.1-2逻辑联结词(LogicalConnectives)例1． p:天津是一个城市q:3是偶数于是：p：天津不是一个城市7q:3不是偶数例2.p:苏州处处清洁q:这些都是男同学7p:苏州不处处清洁 (注意,不是苏州处处不清洁).q:这些不都是男同学2026/3/15计算机科学与工程系
2026/3/15 计算机科学与工程系 4 第一章 命题逻辑（Propositional Logic） 1.1-2逻辑联结词(Logical Connectives) 例1. p: 天津是一个城市. q: 3是偶数. 于是: ┐p: 天津不是一个城市. ┐q: 3不是偶数. 例2. p:苏州处处清洁. q:这些都是男同学. ┐p:苏州不处处清洁 (注意,不是苏州处处不清洁). ┐q:这些不都是男同学
第一章命题逻辑（PropositionalLogic）1.1-2逻辑联结词(LogicalConnectives)2合取联结词（Coniunction定义1.2设p,q为二命题，复合命题“p并且q”（或“p与q"）称为p与q的合取式，记作p^q，符号“^”称为合取联结词.p^q为真当且仅当p和q同时为真联结词“”的定义真值表pqpaq0000100011112026/3/15计算机科学与工程系
2026/3/15 计算机科学与工程系 5 第一章 命题逻辑（Propositional Logic） 1.1-2逻辑联结词(Logical Connectives) 2 合取联结词(Conjunction)∧ 定义1.2 设p,q为二命题，复合命题“p并且q”（或“p 与q”）称为p与q的合取式，记作p ∧ q，符号“∧” 称为合取联结词. pq 为真当且仅当p和q同时为真. 联结词“∧”的定义真值表 p q p q 0 0 0 0 1 0 1 0 0 1 1 1