命题与简易逻辑_数学_高中教育_教育专区

《命题与简易逻辑_数学_高中教育_教育专区》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、简易逻辑K知识梳理》命题与逻辑连接词；1.用语言、符号或式了表达的，可以判断真假、的陈述句称为命题.其中判断为真的语句称为真命题,判断为假的语句称为假命题2.逻辑联结词“或”“且”“非”•集合中的并集、交集、补集有着密切的关系，解题时注意类比；3.不含逻辑联结词的命题称为:有时一个命题的叙述方式比较的简略，此时应先分清条件和结论，该写成“若0,则q”的形式；4.含有逻辑联结词的命题称为,复合命题有三种形式，，符号表示,,通常复合命题的否定“p或q”的否定为“「p且制”、“卩且9”的否定为“「p或「g”、“全为”的否定是“不全为”、“都是”的否定

2、为“不都是”等等5.三种复合命题的真值表：（1）“口丨扁”：•假即假（2）“门或八•貞•即貞（3）“12”：真假相反6.知［语“对所冇的”、“对任意一个”逻辑中称为全称量词，并用符号“_V_”表示。7.短语“存在个”、“至少有-个”逻辑小称为存在量词，并用符号“包”表示。8.含有全称量词的命题称为金称命题_；含有存在量词的命题称为特称命题.9.全称命题形式：特称命题形式：其屮M为给定的集合,Sw?全称命题。VxgM,p（x）的否定「p：兀）；全称命题的否定为特称命题特称命题p：3xGA7,p（x）的否定-ip：VxGAl,-»/7（x）；特称命

3、题的否定为全称命题其中p3是一个关于兀的命题。10＞四种命题及关系;（1）如果第一个命题的条件和结论分别是另一个命题的细釘和条件，那么这两个命题叫互逆命题.（2）如果第一个命题的条件和结论恰好是另一个命题的条件的否定和结论的否足,那么这两个命题叫互否命题.（3）如果第-个命题的条件和结论恰好是另一个命题的结论的否泄和条件的否定，那么这两个命题叫否命题.『特别提醒「可反疵亦:-

4、（1）原命题、逆命题、否命题、逆否命题的关系如下图所示：(2)互为逆否命题的真假性是一致的，互逆命题或互否命题真假性没有关系.一般地，把条件〃的否定和结论q的否定，分别记

5、为“”和q”，则命题的四种形式可写为:原命题：“若p若q”逆命题：“若q若p”否命题：“若「〃是「Q”逆否命题：“若是11.充要条件；P»puq判断方法：(1)定义法：①。是G的充分不必要条件O'②Q是Q的必要不充分条件O③刀是q的充要条件＜^P^q④刀是Q的既不充分也不必要条件o]""'、q=pp生q如果"若”则g”为真，记为p=q,,如果"若〃则g”为假，记为p书q•若〃=＞g,则卩是g的充分,q是p的必要(2)集合法：设P二｛川，Q二S,①若详Q,则刀是g的充分不必要条件，g是q的必要不充分条件.②若P二Q，则门是g的充要条件(g也是

6、Q的充要条件).③若」＞$0且0$P,则“是g的既不充分也不必要条件.12.用反证法证明的一般步骤是：(1)反设：假设命题的结论不成立，即假设结论的反面成立；(2)归谬：从假设出发，经过推理论证，得出才盾；(3)结论：由才盾判定假设不正确，从而肯定命题的结论正确.1、适宜用反证法证明的数学命题：(1)结论本身以否定形式出现的命题.(2)关于唯一性、存在性的的命题.(3)结论以“至多”，“至少”等形式出现的命题.(4)结论的反而比原结论更具体或更易于研究的命题.2.用反证法证明引出矛盾的四种常见形式：i(i)与定义、公理、定理才盾.(2)与已知条

7、件矛盾.(3)与假设矛盾.i⑷自和矛盾.(三)例题分析：考点一。逻辑联结词与四种命题题型1。判断简单命题及真假［例1］下列语句中哪些是命题?其中哪些是真命题?①等腰肓•角三角形难道不是直角三角形吗？”；②“平行于同一平面的两条直线必平行吗？”；③“一个数不是正数就是负数”；④“今天的天气多好啊！”；⑤“x+y为有理数，则x、y也都是有理数”；⑥“作△A3CsAA］BC”.-•般地，陈述句、反问句都是命题，而疑问句、祈使句、感叹句都不是命题.［例2］下列四个命题屮，真命题的个数为()A(1)若两平面有三个公共点，则这两个平面重合；(2)两条直线可

8、以确定一个平面；(3)若Mea,二/,贝ijMw/；(4)空I'可中，相交与同一点的三条直线在同一平面内。A」B.2C.3D.4［例3］你能将把下列命题写成“若p若q”的形式，并判断其真假吗？(1)实数的平方是非负数.(2)等底等高的两个三角形是全等三角形.(3)能被6整除的数既能被3整除也能被2整除.(4)弦的垂直平分线经过圆心,并平分弦所对的弧.题型2(1)逻辑联结词“非”的含义［例4］写出下列命题p的非(否定)o(1)P：100既能彼4整除又能彼5整除(2)p：三条直线两两相交(3)p：一元二次方程至多有两个解(4)p：2

9、矩形的对角线相等”的否定是写出命题的非(否定)，需要对其止面叙述的词语进行否定，常用正面叙述词语及它的否定列举如下:正而词语且小于(<)都是都不是至少