1.2常用逻辑用语教案分析.docx

中 国 教 育 培 训 领 军 品 牌 PAGE  全力以赴 赢在环雅PAGE \* MERGEFORMAT21 §1.2　常用逻辑用语 教学目标 1.理解命题的概念. 2.了解“若p，则q”形式的命题及其逆命题，否命题与逆否命题，会分析四种命题的相互关系. 3.理解必要条件、充分条件与充要条件的含义. 4.了解逻辑联结词“或”“且”“非”的含义. 5.(1)理解全称量词和存在量词的意义；(2)能正确地对含一个量词的命题进行否定. 学习内容 知识梳理 1． 命题的概念 能够判断真假的语句叫做命题．其中判断为真的语句叫真命题，判断为假的语句叫假 命题． 2． 全称量词与全称命题 (1)全称量词：短语“所有”在陈述中表示所述事物的全体，逻辑中通常叫做全称量词，并用符号“?”表示． (2)全称命题：含有全称量词的命题． (3)全称命题???符号表示： 形如“对M中的所有x，p(x)”的命题，用符号简记为“?x∈M，p(x)”． 3． 存在量词与存在性命题 (1)存在量词：短语“有一个”或“有些”或“至少有一个”在陈述中表示所述事物的个体或部分，逻辑中通常叫做存在量词，并用符号“?”表示． (2)存在性命题：含有存在量词的命题． (3)存在性命题的符号表示： 形如“存在集合M中的元素x，q(x)”的命题，用符号简记为?x∈M，q(x)． (4)全称命题与存在性命题的否定 命题命题的否定?x∈M，p(x)?x∈M，?p(x)?x∈M，q(x)?x∈M，?q(x)4. 基本逻辑联结词 (1)命题中的“且”、“或”、“非”叫做逻辑联结词． (2)命题真值表： pqp∧qp∨q?p真真真真假假真假真真真假假真假假假假假真 5． 充分条件、必要条件与充要条件 (1)“若p，则q”形式的命题为真时，记作p?q，称p是q的充分条件，q是p的充要条件． (2)如果既有p?q，又有q?p，记作p?q，则p是q的充要条件，q也是p的充要条件． p是q的充要条件又常说成q当且仅当p，或p与q等价． 6． 命题的四种形式及真假关系 互为逆否的两个命题等价(同真或同假)；互逆或互否的两个命题不等价． 例题讲解 题型一　含有逻辑联结词命题的真假判断 例1　命题p：将函数y＝sin 2x的图象向右平移eq \f(π,3)个单位得到函数y＝sineq \b\lc\(\rc\)(\a\vs4\al\co1(2x－\f(π,3)))的图象；命题q：函数y＝sineq \b\lc\(\rc\)(\a\vs4\al\co1(x＋\f(π,6)))coseq \b\lc\(\rc\)(\a\vs4\al\co1(\f(π,3)－x))的最小正周期为π，则命题“p∨q”“p∧q”“?p”为真命题的个数是 (　　) A．1 B．2 C．3 D．0 思维启迪　先判断命题p、q的真假，然后利用真值表判断p∨q、p∧q、?p的真假． 答案　B 解析　函数y＝sin 2x的图象向右平移eq \f(π,3)个单位后， 所得函数为y＝sineq \b\lc\[\rc\](\a\vs4\al\co1(2\b\lc\(\rc\)(\a\vs4\al\co1(x－\f(π,3)))))＝sineq \b\lc\(\rc\)(\a\vs4\al\co1(2x－\f(2π,3)))， ∴命题p是假命题． 又y＝sineq \b\lc\(\rc\)(\a\vs4\al\co1(x＋\f(π,6)))coseq \b\lc\(\rc\)(\a\vs4\al\co1(\f(π,3)－x)) ＝sineq \b\lc\(\rc\)(\a\vs4\al\co1(x＋\f(π,6)))coseq \b\lc\[\rc\](\a\vs4\al\co1(\f(π,2)－\b\lc\(\rc\)(\a\vs4\al\co1(x＋\f(π,6))))) ＝sin2eq \b\lc\(\rc\)(\a\vs4\al\co1(x＋\f(π,6)))＝eq \f(1,2)－eq \f(1,2)coseq \b\lc\(\rc\)(\a\vs4\al\co1(2x＋\f(π,3)))， ∴其最小正周期为T＝eq \f(2π,2)＝π， ∴命题q是真命题． 由此，可判断命题“p∨q”为真，“p∧q”为假，“?p”为真． 思维升华　“p∨q”“p∧q”“?p”形式命题真假的判断步骤： (1)确定命