《1.3简单的逻辑联结词》课件3

《《1.3简单的逻辑联结词》课件3》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、情境引入：很早以前，德国一个非常有名的律师从不收徒.有一个青年人特别想跟他学习律师，多次拜访，律师终于答应了青年人的要求，但是学费非常的昂贵，青年人变卖了所有的家产，只能付起一半学费.经过多次协商后达成协议：“先交一半学费，剩余的另一半青年人学成出师后，打赢第一场官司后就付清”.青年人跟着师傅学习了六年.前两年学习理论知识；中间两年为师傅准备资料由师傅出面打官司；最后两年师傅为青年人准备资料由青年人打官司，六年学成出师后青年人仍无法交清学费，青年人只好从此不打官司只做顾问.请问：师傅能够要回剩余的一半学费吗？今天我们就来共同学习与逻辑

2、学有直接关系的逻辑联结词复习引入1.命题的定义是什么？用语言、符号或式子表达的，可以判断真假的陈述句叫做命题.2.充分条件、必要条件和充要条件的含义分别是什么？若p⇒q，则称p是q的充分条件，且q是p的必要条件.若p⇔q，则p是q的充要条件.观察：看下面几个复杂的命题:(1)10可以被2或5整除.(2)菱形的对角线互相垂直且平分.(3)0.5非整数.(0.5不是整数)“或”，“且”，“非”称为逻辑联结词.不含逻辑联结词的命题称为简单命题.由简单命题与逻辑联结词构成的命题称为复合命题.1.3简单的逻辑联结词第一章　常用逻辑用语重点难点重

3、点：判断由逻辑联结词构成的新命题的真假.难点：含逻辑联结词构成的新命题的否定形式及综合应用.学习导航新知初探•思维启动1.用逻辑联结词构成新命题构成新命题记作读作用联结词“且”把命题p和命题q联结起来构成新命题p∧qp且q用联结词“或”把命题p和命题q联结起来构成新命题p∨qp或q对一个命题p全盘否定，构成新命题¬p非p做一做1.33且x<5思考1：观察下列各组命题，命题p∧q的真假与p、q的真假有什么联系？p:12能被3整除；

4、q:12能被4整除；p∧q:12能被3整除且能被4整除；P:等腰三角形两腰相等；q:等腰三角形三条中线相等；p∧q:等腰三角形两边相等且三条中线相等.p:6是奇数；q:6是素数；p∧q:6是奇数且是素数.真真真真假假假假假一般地，我们规定:当p，q都是真命题时，p∧q是真命题；当p，q两个命题中有一个命题是假命题时，p∧q是假命题.口诀：全真才真，有假就假.pq观察1：思考2：观察下列各组命题，命题p∨q的真假与p、q的真假有什么联系？p:12能被3整除；q:12能被4整除；p∨q:12能被3整除或能被4整除；P:等腰三角形两腰相等；

5、q:等腰三角形三条中线相等；p∨q:等腰三角形两边相等或三条中线相等.p:6是奇数；q:6是素数；p∨q:6是奇数或是素数.真真真真假真假假假一般地，我们规定:当p，q两个命题中有一个命题是真命题时，p∨q是真命题；当p，q两个命题都是假命题时，p∨q是假命题.开关p，q的闭合对应命题的真假，则整个电路的接通与断开分别对应命题的真与假.pq口诀：有真就真，全假才假.观察2：思考：思考3，由“非”构成的复合命题下列两个命题间有什么关系？(1)35能被5整除；(2)35不能被5整除.可以看到，命题(2)是命题(1)的否定.一般地，对一个命

6、题p全盘否定，就得到一个新命题，记作¬p，读作“非p”或“p的否定”.2.含有逻辑联结词的命题的真假判断pqp或qp且q¬p真真___真假真假真______假真___假____假假假___真真真假假假真口诀：“且”命题：全真才真，有假就假；“或”命题：有真就真，全假才假.做一做3.若p：3＋2＝5，q：2>3，则p或q为________，p且q为__________，¬q为__________.(填“真”、“假”).真假真典题例证•技法归纳题型探究例1题型一　含逻辑联结词的命题的构成分别写出由下列命题构成的“p∨q”“p∧q”“¬p”

7、形式的命题.(1)p：梯形有一组对边平行，q：梯形有一组对边相等；(2)p：－1是方程x2＋4x＋3＝0的解，q：－3是方程x2＋4x＋3＝0的解.【解】(1)p∧q：梯形有一组对边平行且有一组对边相等.p∨q：梯形有一组对边平行或有一组对边相等.¬p：梯形没有一组对边平行.(2)p∧q：－1与－3是方程x2＋4x＋3＝0的解.p∨q：－1或－3是方程x2＋4x＋3＝0的解.¬p：－1不是方程x2＋4x＋3＝0的解.解：(1)“p且q”形式的命题，其中p：两个角是45°的三角形是等腰三角形，q：两个角是45°的三角形是直角三角形.(2

8、)“p或q”形式的命题，其中p：若x∈{x

9、x<1}，则x是不等式(x－1)(x－2)>0的解，q：若x∈{x

10、x>2}，则x是不等式(x－1)(x－2)>0的解.(3)“p且q”形式的命题，其中p：{正方形}⊆{矩形}