离散数学(1.2逻辑联接词).pptVIP

1离散数学(DiscreteMathematics)

2第一章命题逻辑〔PropositionalLogic〕1.2逻辑联结词(LogicalConnectives)1.2.1否认联结词(Negation)┐1.2.2合取联结词(Conjunction)∧1.2.3析取联结词(Disjunction)∨1.2.4条件联结词(蕴涵联结词Conditional)→1.2.5双条件联结(等值联结词Biconditional)?或

3第一章命题逻辑〔PropositionalLogic〕1.2逻辑联结词(LogicalConnectives)在命题逻辑中,主要研究的是复合命题,而复合命题是由原子命题与逻辑联结词组合而成,联结词组是复合命题的重要组成局部.1.2.1否认联结词┐定义设P为一命题，P的否认是一个新的复合命题,称为P的否认式，记作“┐P”读作“非P”.符号“┐”称为否认联结词。┐P为真当且仅当P为假.说明：“┐”属于一元(unary)运算符

4第一章命题逻辑〔PropositionalLogic〕1.2逻辑联结词(LogicalConnectives)“┐”的定义也可用下表来说明.联结词“┐”的定义真值表P┐PFTTF

5第一章命题逻辑〔PropositionalLogic〕1.2逻辑联结词(LogicalConnectives)例1.P:天津是一个城市.Q:3是偶数.于是:┐P:天津不是一个城市.┐Q:3不是偶数.例2.P:苏州处处清洁.Q:这些都是男同学.┐P:苏州不处处清洁(注意,不是处处不清洁).┐Q:这些不都是男同学.

6第一章命题逻辑〔PropositionalLogic〕1.2逻辑联结词(LogicalConnectives)合取联结词(Conjunction)∧定义1.2.2设P,Q为二命题，复合命题“P并且Q”〔或“P与Q”〕称为P与Q的合取式，记作P∧Q，符号“∧”称为合取联结词.P?Q为真当且仅当P和Q同时为真.联结词“∧”的定义真值表PQP?Q FFFFTFTFFTTT

7第一章命题逻辑〔PropositionalLogic〕1.2逻辑联结词(LogicalConnectives)说明：“∧”属于二元(binary)运算符.合取运算特点：只有参与运算的二命题全为真时，运算结果才为真，否那么为假。自然语言中的表示“并且”意思的联结词，如“既…又…”、“不但…而且…”、“虽然…但是…”、“一面…一面…”、“…和…”、“…与…”等都可以符号化为∧。

8第一章命题逻辑〔PropositionalLogic〕1.2逻辑联结词(LogicalConnectives)例3.将以下命题符号化.(1)李平既聪明又用功.(2)李平虽然聪明,但不用功.(3)李平不但聪明,而且用功.(4)李平不是不聪明,而是不用功.解:设P:李平聪明.Q:李平用功.那么(1)P∧Q(2)P∧┐Q(3)P∧Q(4)┐(┐P)∧┐Q注意：不要见到“与”或“和”就使用联结词∧！例如:(1)李敏和李华是姐妹。〔2〕李敏和张华是朋友。

9第一章命题逻辑〔PropositionalLogic〕1.2逻辑联结词(LogicalConnectives)例4.试生成以下命题的合取.(1)P:我们在XNA303.Q:今天是星期二.(2)S：李平在吃饭.R：张明在吃饭.解:(1)P∧Q:我们在XNA303且今天是星期二.(2)S∧R:李平与张明在吃饭.

10第一章命题逻辑〔PropositionalLogic〕1.2逻辑联结词(LogicalConnectives)析取联结词(Disjunction)∨定义设P,Q为二命题，复合命题“P或Q”称为P与Q的析取式，记作P∨Q，符号∨称为析取联结词.P∨Q为真当且仅当P与Q中至少有一个为真.联结词“∨”的定义真值表PQP?Q FFFFTTTFTTTT

11第一章