否定式

出处：按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第673页（174字）

用否定真值联结词””联结命题组成的真值形式。否定式一般记为p，读为”并非p”，其中p是被否定的命题，称为否定支。一个否定式为真，当且仅当，其否定支为假。否定真值联结词可用真值表来定义：

由真值表可知，否定式与其否定支具一有矛盾关系：不同真、不同假。