一、 否定词 　　否定词""是个一元联结词。一个命题P加上否定词就形成了一个新的命题，记作P，这个新命题是命题的否定，读作非P。 　　规定，若命题P的真值为真，那么P的真值就为假。若P的真值为假, 那么P 的真值就为真。P 与P间的真值关系, 常常使用称作真值表的一种表格来表示, 见图1.2.1 　　也可将图1.2.1看作是对P的定义。它表明了P的真值如何依赖于P的真值。真值表描述了命题之间的真值关系，很直观，当命题变项的个数不多时，也很容易建立，所以真值表是命题逻辑里研究真值关系的重要工具。