基本逻辑语句.docxVIP

第一课常用逻辑用语 ［核心速填］命题及其关系判断一个语句是否为命题，关键是: ①为陈述句；②能判断真假. 互为逆否关系的两个命题的真假性相同. ⑶四种命题之间的关系如图所示. 蛭命题逆命割也.蜘 蛭命题 逆布命题 充分条件、必要条件和充要条件 定义 一般地，若〃，则q为真命题，是指由p通过推理可以得出q.这时，我们就说，由p可推出q，记作基，并且说p是q的充分条件，q是p的必要条件. 一般地，如果既有p^q，又有qPp，就记作p0q.此时，我们说，p是q的充分必要条件，简称充要条件. 特征 充分条件与必要条件具有以下两个特征： 对称性：若p是q的充分条件，则q是p的必要条件; 传递性:若p是q的充分条件，q是r的充分条件，则p是r的充分条件.即若p^q,qf则p^r.必要条件和充分条件一样具有传递性，但若p是q的充分条件，q是r的必要条件，则p与r的关系不能确定. 含逻辑联结词的命题的真假判断 pAq：全真才真，一假则假； pVq：全假才假，一真则真； -p：p与-p真假性相反. 全称量词与全称命题，存在量词与特殊命题 全称量词与全称命题：短语“所有的”“任意一个”“每一在逻辑中通常叫做全称量词，并用符号“星”表示.全称命题“对个尤，有〃(尤)成立，可用符号简记为VxEM，〃⑴. 存在量词与特称命题：短语“存在一个”“至少有一个”“辑学中通常叫做存在量词，并用符号“旦”表示；特称命题“存在尤0，使〃(尤0)成立，可用符号简记为0EM，〃(％). 含有一个量词的命题的否定 全称命题p：Vx^M，p(x)，贝Qp：-%。M，p(x0). 特称命题p：-x0EM，p(x)，贝。p：Vx—M，p(x). 个,，“任给,,M中任意一有些”在逻M中的元素或pg简虱旅逻 个,，“任给,, M中任意一 有些”在逻 M中的元素 或 pg 简虱旅逻倾结词 — 量饲 — — 全辟量词 存在量词 — 全弥命题 特徐命题 —— — 含有一个 量词的命 题的否定 ［题型探究］ I类型1|四种命题的关系及其真假判断 将下列命题改写成“若p，则的形式，并写出它的逆命题、否命题和逆否命题以及判断它们的真假. ⑴当mn0时，方程mx2—x+n=0有实数根； ⑵能被6整除的数既能被2整除，又能被3整除. ［解］(1)将命题写成若p,则q”的形式为：若mn0,则方程mx2-x+n=0有实数根. 它的逆命题、否命题和逆否命题如下： 逆命题：若方程mx2-x+n=0有实数根，则mn0.（假） 否命题：若mnN0,则方程mx2-x+n=0没有实数根.（假） 逆否命题：若方程mx2-x+n=0没有实数根，则mnN0.（真） （2）将命题写成“若p，则q”的形式为：若一个数能被6整除，则它能被2整除，且能被3整除，它的逆命题，否命题和逆否命题如下： 逆命题：若一个数能被2整除又能被3整除，则它能被6整除.（真）否命题：若一个数不能被6整除，则它不能被2整除或不能被3整除.（真）逆否命题:若一个数不能被2整除或不能被3整除，则它不能被6整除.（真）［规律方法］1.在原命题、逆命题、否命题、逆否命题中，原命题与逆否命题，逆命题与否命题是等价命题，它们的真假性相同. 2.“pAq”的否定是“p或q”，“pVq”的否定是“p且q”. ［跟踪训练］ 1.（1）给出下列三个命题： “全等三角形的面积相等”的否命题； 若lgx2=0,则尤=一1”的逆命题； 若“x尹y或x尹一y,M#lyl”的逆否命题. 其中真命题的个数是（） A.0B.1C.2D.3 B［对于①，否命题是“不全等三角形的面积不相等”，它是假命题；对于②，逆命题是“若x=-1，则lgx2=。”，它是真命题；对于③，逆否命题是“若lxl=lyl,则x=y且x=-y”，它是假命题，故选B.］ ⑵命题：“若a2+b2=0,则a=0且b=0的逆否命题是（） 若a2+b2=0,则a=0且b尹0 若a2+b2尹0,则a尹0或b尹0 若a=0且b=0，贝。a2+b2尹0 若a尹0或b尹0,则a2+b2尹0 D［命题“若a2+b2=0则a=0且b=0”的逆否命题是：“若a尹0或b尹0,则。2+况头0”.古攵选D.］国期 充分条件、必要条件与充要条件 例(1)已知AABCW内角A,B的M^^^分^^a,b,^“A=Bv是“acosA=bcosB的() 充分不必要条件 必要不充分条件 充分必要条件 既不充分也不必要条件 (2)已知直线?：x+ay+2=0和12：(a-2)x+3y+6a=0,则/J/2的充分必要条件是a=. ［解析］(1)由acosA-bcosBsin2A=sin2B, AA=B或2A+2B=n,故选A. ⑵由土M，a 得a=-1(舍去)，a=3. ［答案］(1)A⑵3 ［规律方法］充分条件和必要条件的判断 充分条件和必要