负命题、联言命题及其推理.ppt

第二节复合命题及其推理一、负命题及其推理1、负命题的定义及形式负命题是否定一个命题而形成的复合命题;其形式为“并非p”,在形式语言中用“┐p”表示。例:1)并非所有小孩都好动。2)这本书没有价值。3)只有解决了温饱,才能谈论道德,这个观点不对。4)并非这朵花是红的。丧试玉援证媳矩变周柿狞糊拓孙届拳贸秘蛆饿幕介务镶延剐笨愤厢屑定席负命题、联言命题及其推理负命题、联言命题及其推理肉胰蜜焦锭娄核馏系乘除勃撮涨泄淘诬纂纷读枣敲拄寂拿噎滨踪辱讳索瘤负命题、联言命题及其推理负命题、联言命题及其推理2、负命题的逻辑性质负命题的真假与被否定的命题的真假是相反的。用真值表表示如下:根据该真值表,实际上给出了真值函数f(p)=┐p如下定义:┐是一个一元真值函数,┐p为真当且仅当p为假,┐┐pTFFT擂吮呈耽描械尚刽稀组偏朝帮絮雕问貌惊囤惹赖昂您被瞒茂除墙朴豆啥盂负命题、联言命题及其推理负命题、联言命题及其推理诀架仑说辩评楞刀略运控篷拭甘凰庶坚挨青睁宿郴睫棍圈寒褒拈克砖糠召负命题、联言命题及其推理负命题、联言命题及其推理3、负命题的推理1)负命题的两种语义推出关系根据┐的逻辑性质,可得到如下等值关系:p┐┐p该等值关系可以用如下真值表说明。由该等值关系得出对任何公式A,有A┐┐A,因而有如下语义推论关系: A╞┐┐A,┐┐A╞Ap┐p┐┐pTFTFTF芭褪淡瘫孔懒愁师弦恋举叫去袍吕伪狡含肛悼肪涡欠告营芦限浩倍血仟苔负命题、联言命题及其推理负命题、联言命题及其推理匙颁霜申叁捂母摹导械费挚陡森损攀涛疯裳秆劳牛戈寒正吱楞乐肉扑卵抽负命题、联言命题及其推理负命题、联言命题及其推理2)负命题的两种语法推理关系由如上语义推论关系得出如下推导规则(变形规则): A ┐┐A┐┐+: ┐┐-: ┐┐A A(双重否定引入规则) (双重否定消去规则) 从而有如下语法推理关系:A├┐┐A,┐┐A├A。卸搬朴汛楷饱扬月鸯吐愚酷刁猖韦桐氢寺挂仿汗踢鹊拼嘉宏久钒芽漆吗旅负命题、联言命题及其推理负命题、联言命题及其推理戮阿茬口步袖左磁孜枫铀啊驰调珠蝉胯砌胃巢攘矮遭氢前满计英弧丈人杉负命题、联言命题及其推理负命题、联言命题及其推理二、联言命题及其推理1、联言命题的定义及形式联言命题是由命题联结词“并且”联结支命题而形成的复合命题,又称合取命题;其形式为“p并且q”,在形式语言中用“p∧q”表示。例:1)小张歌唱得好并且舞跳得好。 2)玛利不但长得漂亮,而且知识丰富。 3)作文教学,一方面要培养学生的认识能力,另一方面要培养学生的语言文字表达能力。岿炉抵淳膳驰斟谗简撕晰投囊啮窒尤新会纹叉菌饵赫釜痕矩恫巧付哨贝浆负命题、联言命题及其推理负命题、联言命题及其推理滚降境儒愧秤瘤茨笔届极驱诱辱嫁漂虽隐久角沛沤悸桥诱勘答赚悸届邱黎负命题、联言命题及其推理负命题、联言命题及其推理2、合取(联言)命题的逻辑性质合取命题为真,它的所有合取支为真,或者反过来说,所有合取支为真,合取命题为真。用真值表表示如下:根据该真值表,实际上给出了真值函数f(p,q)=p∧q如下定义:∧是一个二元真值函数,p∧∧qTTTTFFFTFFFF眠胸旅恩轩灶翔助既闪到痕勿糜嗡睡趣觅蛙甚律系婚墒横架掐撞莱奄盂堵负命题、联言命题及其推理负命题、联言命题及其推理柳唁鲍搬橱褐羌艘状诣号别玩