第一章命题逻辑（PropositionalLogic）1.1-2逻辑联结词(LogicalConnectives）说明：“^”属于二元(binary)运算符合取运算特点：只有参与运算的二命题全为真时，运算结果才为真，否则为假。自然语言中的表示“并且”意思的联结词，如“既..又...”、“不但..而且.…”、“虽然.但是.”、“一面.….“..与..”等都可以符号化为一面..",“.和...”、>。例3.将下列命题符号化，2(213)15李平既聪明又用功计算机科学与工程系
2026/3/15 计算机科学与工程系 6 第一章 命题逻辑（Propositional Logic） 1.1-2逻辑联结词(Logical Connectives) 说明：“∧” 属于二元(binary)运算符. 合取运算特点：只有参与运算的二命题全为真时，运算 结果才为真，否则为假。 自 然语言中的表示“并且”意思的联结词， 如 “既. 又. ” 、 “不但.而且. ” 、 “虽然.但是. ” 、 “一面. 一面. ” 、 “ .和. ” 、 “ .与. ”等都可以符号化为 ∧ 。 ◼ 例3. 将下列命题符号化. (1) 李平既聪明又用功
第一章命题逻辑（PropositionalLogic）1.1-2逻辑联结词(LogicalConnectives)(2)李平虽然聪明,但不用功(3)李平不但聪明,而且用功(4)李平不是不聪明,而是不用功解：设p:李平聪明.q:李平用功则 (1) p^q(2) p^ -(3) p^q(4) (p)^ q注意：不要见到“与”或“和”就使用联结词入！例如：（1）李敏和李华是姐妹。(2)李敏和张华是朋友。2026/3/15计算机科学与工程系
2026/3/15 计算机科学与工程系 7 第一章 命题逻辑（Propositional Logic） 1.1-2逻辑联结词(Logical Connectives) (2) 李平虽然聪明, 但不用功. (3)李平不但聪明,而且用功. (4)李平不是不聪明,而是不用功. 解: 设 p:李平聪明. q:李平用功. 则 (1) p∧q (2) p∧ ┐q (3) p∧q (4) ┐(┐p)∧ ┐q 注意：不要见到“与”或“和”就使用联结词∧ ！ 例如: (1) 李敏和李华是姐妹。 (2)李敏和张华是朋友