《数理逻辑用语.doc》由会员分享，可在线阅读，更多相关《数理逻辑用语.doc（3页珍藏版）》请在三一文库上搜索。
1、数理逻辑用语复习目标：1、掌握命题的概念；2、理解逻辑连词“且”、“或”、“非”的含义，能判定用“且”，“或”连接成的 复合命题的真假，能写出命题p的否定形式，能判定“非p”的真假；3、理解必要条件、充分条件、充要条件以及等价的意义 .知识要点：1、命题：的句子叫做命题。2、开句：的句子叫做开句或条件命题.eg：.3、两个常用的量词：和。在开句前面，加上含有量词的语句，往往可使开句变成命题eg :.4、“且”,“或”，“非”一般地，设p、q是两个命题，则(1) “p且q”构成一个新命题，记作，(2) “p或q”构成一个新命题，记作，(3) ” p的非(或否定)”构成一个新命题，记作5、p q、
2、p q、-p的真值表如下：pqpqp”qp直/、直/、直/、假假直/、假假6、充分条件、必要条件与充要条件及等价(1) 如果可推出时，称p是q的充分条件，或是的必要条件(2) 如果可推出，且可推出时，就称 p是q的充要条件，或p与q等价.例题选讲：例1、下列语句是否是命题？若是，判断其真假，并说明理由(1) x2 -5x 6 = 0(2) 1+2=3 吗？(4) 3<2(5)请你出去!例2、用逻辑联结词“且”，“或”分别联贯下面所给的命题 p、q,构成一个新 命题，并判断它们的真假(1) p : 27是3的倍数； q : 27是9的倍数(2) p : 1+2=3 ;q : 4>3(3) p :平行四边形的对角线互相平分；q：平行四边形的对角线相等。例3、写出下列命题的非，并判断它的真假(1)对任意实数x ,都有x2 -2x 1 _ 0 ；(2)明天刮风或下雨(3) 明天刮风且下雨例4、用充分条件、必要条件、充要条件填空:1 “x是实数”是“ x是有理数的”.2、x>3 是 x>5 的.3、“x是正方形”是“ x是矩形的”.4、A B 是 A B = A 的.例5、已知p是q充分条件，s是r的必要条件，p是s的充要条件，求q与r 的关系