2016负命题联言命题及其推理.pptVIP

第二节复合命题及其推理 一、负命题及其推理 1、负命题的定义及形式 负命题是否定一个命题而形成的复合命题；其形式为“并非p”，在形式语言中用“┐p”表示。　 例：1）并非所有小孩都好动。 2）这本书没有价值。 3）只有解决了温饱，才能谈论道德，这 　　　　个观点不对。 4）并非这朵花是红的。 2、负命题的逻辑性质 　负命题的真假与被否定的命题的真假是相　　　反的。用真值表表示如下： 根据该真值表,实际上给出了真值函数f (p)=┐p如下定义： ┐是一个一元真值函数， ┐p为真当且仅当p为假，┐p为假当且仅当p为真． 3、负命题的推理 １）负命题的两种语义推出关系 根据┐的逻辑性质，可得到如下等值关系： p ?┐┐p 该等值关系可以用如下真值表说明。 由该等值关系得出对任何公式Ａ，有Ａ ?┐┐Ａ，因而有 如下语义推论关系： 　　Ａ╞ ┐┐Ａ，┐┐Ａ╞Ａ ２）负命题的两种语法推理关系 由如上语义推论关系得出如下推导规则（变形规则）：　　　　　　 　　　　　　Ａ　　　　　　　　　　 ┐┐Ａ ┐┐＋ ：　　　　　　　　　　　　　┐┐－： 　　　　　┐┐Ａ　　　　　　　　　　Ａ （双重否定引入规则） 　　 （双重否定消去规则）