浅谈命题之否定

在形式逻辑中 ,我们把反映事物具有或不具有某种属性或关系的思维形式叫做判断 .表达判断的语句叫命题 .在数学中 ,用语言、符号或式子表示的并且能区别真假的语句叫数学命题 .命题按能否分解可分为简单命题和复合命题 ,按其所判断的是事物的性质或存在的关系可分为性质命题和关系命题 .在数学证明中 ,准确无误地写出一个命题的否定式是十分重要的 .1　简单命题的否定1 1　性质命题的否定每一个性质命题都由主项、谓项、量项、联项四部分组成 ,其中主项表示被判断的对象 ;谓项表示主项的性质 ;量项表示主项的数量 ,分为全称量项和特称量项 …