高一数学课件 简易逻辑
- 格式:ppt
- 大小:1.89 MB
- 文档页数:16
高一数学第三讲 简易逻辑与充要条件一.知识归纳:1.命题与逻辑联结词(1)命题:能够判断其真假的语句,因此疑问句、祈使句都不是命题.(2)若一个命题是正确的,该命题叫真命题;若一个命题不正确,该命题叫假命题.由命题的概念,一个命题不是真命题就是假命题。
(3)由简单命题用逻辑联结词“或”、“且”、“非”联结起来组成的命题叫复合命题.若用小写字母p 、q 表示命题,则复合命题的基本形式是“p 或q”,“ p 且q”以及“ 非p”.(4)逻辑联结词“或”可以与集合中的“并”相联系,A∪B={x|x∈A,或x∈B}.逻辑联结词“且”可以与集合中的“交”相联系,A∩B={x|x∈A,且x∈B}。
逻辑联结词“非”,可以与集合中的“补”相联系 ,C u A={x|x∈U,且x ∉A}.2、真值表(1)一个简单命题的真假易于判断,但一个复合命题的真假不一定容易判断,真值表是判断复合命题真假的有力工具。
(2)对一个复合命题,如果能把它分解成一个或几个简单命题及逻辑联结词,只要逐一判断简单命题的真假,就可以很容易用真值表判断这个复合命题的真假.(3)真值表中,“非p”形式的复合命题的真假与p 相反;“p 且q”形式的复合命题,当且仅当p 、q 都为真时为真,其余情况均为假;“p 或q”形式的复合命题,当且仅当p 、q 都为假时为假,其余情况都为真.3.四种命题(1)在初中学习原命题和逆命题的基础上,引进了否命题和逆命题的概念。
(2)将一个命题采用①交换命题的条件和结论,②同时否定命题的条件和结论;③同时否定和交换命题的条件和结论,分别产生了原命题的逆命题,否命题和逆否命题。
如果原命题为“若p 则q”,则逆命题为“若q 则p”,否命题为“若¬ p 则¬ q”,逆否命题为“若¬ q 则¬ p”. (3)在四种命题之间关系的图示中,要理解其中互逆,互否,互为逆否的含意.原命题与逆否命题等价,逆命题与否命题等价. 4.反证法从命题结论的反面出发(假设),引出(与已知、公理、定理…)矛盾,从而否定假设证明原命题成立,这样的证明方法叫做反证法。