数学逻辑用语.pptVIP

* 学习目标 2.了解逻辑联结词“或”, “且”, “非”的含义. 1.理解四种命题及其相互关系. 3.理解充要条件的意义. 4.理解全称量词与存在量词的意义. 原命题:_________; 逆命题:__________; 否命题:_________; 逆否命题:________. 1、四种命题的形式及其之间的关系: 若p则q 若q则p 若﹁p则﹁q 若﹁q则﹁p 原命题:若p则q 逆命题:若q则p 否命题: 若﹁p则﹁q 逆否命题:若﹁q则﹁p 互逆 互逆 互为 逆否 互为 逆否 原命题真,逆命题_________;否命题_________; 互为逆否命题________;否命题既否定____又否定 _____,命题的否定仅否定_____. 不一定真 同真同假 条件 结论 不一定真 结论 2、逻辑联结词 逻辑联结词有__________,不含________ 的命题叫简单命题, 由__________和 ___________构成的命题叫复合命题;复合命题的三种构成形式是______________，记作________________ 或、且、非 逻辑联结词 简单命题 逻辑联结词 p或q, p且q, 非p p∨q，p∧q， p 3.复合命题真假的判断: 判断复合命题真假的方法:_______. P∧q 假 真 假 真 q 假 假 真 真 p P∨q 假 真 假 真 q 假 假 真 真 p 真值表 真 假 假 假 假 真 真 真 真 假 假 真 P ﹁p 若____________________既不充分也不必要条件. _______________充要条件,q是p的________ 充分必要条件: _____________________充分不必要条件; _____的必要不充分条件; 4.充要条件 若A B,则A是B的____条件,B是A的____ 条件; 若A=B,则A是B的_________. 若p q且q p,则p是q的 q是p 若p q,则p是q的 充要条件 p q且q p,则p是q的 充分 必要 充要条件 5.全称量词与存在量词 全称量词：______________ 存在量词：_________________ 所有的、任意的 存在一个、至少一个 全称命题：________________ 全称命题的否定：____________ 特称命题：________________ 特称命题的否定：_______________ 题型1、四种命题之间的关系 例1.判断命题“若a≥0，则x2+x-a=0有实根”的逆否命题的真假. 练1.已知函数f(x)是(-∞,+∞)上的增函数,a,b∈R,对命题“若a+b≥0,则f(a)+f(b)≥f(-a)+f(-b).” ①写出其逆命题, 判断其真假，并证明你的结论; ②写出其逆否命题，判断其真假，并证明你的结论. 题型2、充分条件与必要条件 例2 .已知p:|1- |≤2, q:x2-2x+1-m2≤0(m＞0).若﹁p是﹁q的充分不必要条件,求实数m的范围. 练1.(05福建)已知p:a≠0，q:ab≠0， 则p是q的___________条件. 练2.条件p:|x-1|1-x，条件q:xa，若p是q的充分不必要条件，则a的取值范围是_____. 必要不充分 a1 题型3、全称量词与存在量词 例3.下列存在性命题中真命题的个数 ① ②至少有一个整数,它既不是合数,也不是素数. {x|x是无理数},x2是无理数. A. 0个 B. 1个 C. 2个 D .3个 D 练习:写出下列命题的否定形式的命题: ①矩形的四个角都是直角; ②所有的方程都有实数解; ③对所有的0°a45°, 都有sina≠cosa; ④存在一对实数对，使2x+3y+30； ⑤有些实数不是有理数。 题型3、全称量词与存在量词 * * * 引言部分