高中数学常用逻辑用语 (2).ppt

关于高中数学常用逻辑用语(2)第1页，共31页，星期日，2025年，2月5日知识网络常用逻辑用语命题及其关系简单的逻辑联结词全称量词与存在量词四种命题充分条件与必要条件量词全称量词存在量词含有一个量词的否定或且非并集交集补集运算第2页，共31页，星期日，2025年，2月5日命题的形式：“若P,则q”通常,我们把这种形式的命题中的P叫做命题的条件,q叫做结论.记做:一.用语言、符号或式子表达的，可以判断真假的陈述句称为命题．命题其中判断为真的语句称为真命题，判断为假的语句称为假命题．第3页，共31页，星期日，2025年，2月5日若p则q逆否命题：原命题：逆命题：否命题：若q则p若?p则?q若?q则?p二、四种命题结论1：要写出一个命题的另外三个命题关键是分清命题的题设和结论（即把原命题写成“若p则q”的形式）注意：三种命题中最难写的是否命题。结论2：（1）“或”的否定为“且”，（2）“且”的否定为“或”，（3）“都”的否定为“不都”。第4页，共31页，星期日，2025年，2月5日三、四种命题之间的关系原命题若p则q逆命题若q则p否命题若﹁p则﹁q逆否命题若﹁q则﹁p互逆互否互否互逆互为逆否第5页，共31页，星期日，2025年，2月5日（2）若其逆命题为真，则其否命题一定为真。但其原命题、逆否命题不一定为真。(1)原命题与逆否命题同真假。(2)原命题的逆命题与否命题同真假。（1）原命题为真，则其逆否命题一定为真。但其逆命题、否命题不一定为真。四、命题真假性判断结论：第6页，共31页，星期日，2025年，2月5日反证法的一般步骤：假设命题的结论不成立,即假设结论的反面成立；从这个假设出发，经过推理论证，得出矛盾；(3)由矛盾判定假设不正确，从而肯定命题的结论正确。反设归谬结论反证法第7页，共31页，星期日，2025年，2月5日1.写出命题“当c＞0时，若a＞b，则ac＞bc“的逆命题，否命题与逆否命题，并分别判断他们的真假2.写出命题“若x≠a且x≠b，则x2－（a＋b）x＋ab≠0”的否命题第8页，共31页，星期日，2025年，2月5日如果命题“若p则q”为真，则记作pq（或qp）。定义:如果,则说p是q的充分条件,q是p的必要条件如果命题“若p则q”为假，则记作pq。充要条件从集合角度理解：pq，相当于Pq，

即Pq或P、q

第9页，共31页，星期日，2025年，2月5日充要条件定义:称:p是q的充分必要条件,简称充要条件显然,如果p是q的充要条件,那么q也是p的充要条件p与q互为充要条件(也可以说成”p与q等价”)第10页，共31页，星期日，2025年，2月5日1、充分且必要条件2、充分非必要条件3、必要非充分条件4、既不充分也不必要条件各种条件的可能情况第11页，共31页，星期日，2025年，2月5日2、从逻辑推理关系看充分条件、必要条件:充分非必要条件必要非充分条件1）AB且BA，则A是B的2）若AB且BA，则A是B的3）若AB且BA，则A是B的既不充分也不必要条件充分且必要条件4）AB且BA，则A是B的第12页，共31页，星期日，2025年，2月5日3、从集合与集合的关系看充分条件、必要条件3）若AB且BA，则甲是乙的2)若AB且BA，则甲是乙的1）若AB且BA，则甲是乙的充分非必要条件必要非充分条件既不充分也不必要条件一般情况下若条件甲为ｘ∈Ａ，条件乙为ｘ∈Ｂ4）若A=B，则甲是乙的充分且必要条件。第13页，共31页，星期日，2025年，2月5日1.在判断条件时，要特别注意的是它们能否互相推出，切不可不加判断以单向推出代替双向推出.注意点2.搞清①A是B的充分条件与A是B的充分非必要条件之间的区别与联系；②A是B的必要条件与A是B的必要非充分条件之间的区别与联系３、注意几种方法的灵活使用：定义法、集合法、逆否命题法第14页，共31页，星期日，2025年，2月5日1：填写“充分不必要，必要不充分，充要，既不充分又不必要。1）sinAsinB是AB的______