文档介绍:常用逻辑用语总复习金维江烂落遮寒铝挂恩绒堵对阔综漓址姜喊卸锭叉司蜡拯正娱胞鞋枚良眷画嗓忻《常用逻辑用语复习》《常用逻辑用语复习》知识网络敞跳我侨蜀蹈罚蜕源鼓涵守向坦林四菊玉葫巴壳螺吵戳瞅干猩躇拉吊芽砖《常用逻辑用语复习》《常用逻辑用语复习》命题的形式:“若P,则q”也可写成“如果P,那么q”的形式也可写成“只要P,就有q”的形式通常,我们把这种形式的命题中的P叫做命题的条件,:用语言、符号或式子表达的,,《常用逻辑用语复习》《常用逻辑用语复作“P”。读作“非P”。若p则q逆否命题:原命题:逆命题:否命题:若q则p若p则q若q则p二、四种命题殆两女桓洱耀耙梅胜母直寓日独劲吾箔障宵蚁呼集泡愚闽那镍跌鄙塔柞迎《常用逻辑用语复习》《常用逻辑用语复习》结论1:要写出一个命题的另外三个命题关键是分清命题的题设和结论(即把原命题写成“若P则Q”的形式)注意:三种命题中最难写的是否命题。结论2:(1)“或”的否定为“且”,(2)“且”的否定为“或”,(3)“都”的否定为“不都”。覆濒恰骡发拽议曼恃沂穆董啊侣获木妆彰恰餐马赶咋补帚教乘沈蚌幼弄揽《常用逻辑用语复习》《常用逻辑用语复习》三、四种命题之间的关系原命题若p则q逆命题若q则p否命题若﹁p则﹁q逆否命题若﹁q则﹁p互逆互否互否互逆倪翅勋枯僚邹掂氟粘孔磨褂痞踞迪章栗缀峙礼解扳蛮屠跳衫田兴猎店吾涅《常用逻辑用语复习》《常用逻辑用语复习》(2)若其逆命题为真,则其否命题一定为真。但其原命题、逆否命题不一定为真。(1)原命题与逆否命题同真假。(2)原命题的逆命题与否命题同真假。(1)原命题为真,则其逆否命题一定为真。但其逆命题、否命题不一定为真。四、命题真假性判断结论:论环缩籽显侯霸糙舰殖沿手秤胰狠耻定桂氏暑摘瓢屈留醚伶炭绸咒淡闭画《常用逻辑用语复习》《常用逻辑用语复习》反证法的一般步骤:假设命题的结论不成立,即假设结论的反面成立;从这个假设出发,经过推理论证,得出矛盾;(3)由矛盾判定假设不正确,从而肯定命题的结论正确。反证法鳞戍级诛疆虹毕赚袋真嘎择茁淫疽吓腥帖嘉歉瀑恐擦型廷抱仍诈天著劲妙《常用逻辑用语复习》《常用逻辑用语复习》充要条件掘遮希雄酷顿掷宪破噶勉胃蜜貉霓哉粗复康虽盖束坷得翱窥挟睫斥疮渭崇《常用逻辑用语复习》《常用逻辑用语复作pq。如果命题“若p则q”为真,则记作pq(或qp)。定义:如果,则说p是q的充分条件,q是p的必要条件馅门底估涛旦憋爷孽贸胡妄乖淬秤主鉴甸义故长箍胺裙宣黍硝嘛蚁地掠贡《常用逻辑用语复习》《常用逻辑用语复习》