第1章命题逻辑 注:否定联结词使用的原则:将真命题变成假命 题,将假命题变成真命题。但这并不是简单的随意加 个不字就能完成的。例如上例中的(2),q的否定式 就不能写成“这些都不是学生”。事实上严格来讲, “不是”不一定否定“是”。如阿契贝难题:“本句 是六字句”与“本句不是六字句”均是真命题。不过, 一般地,自然语言中的“不”、“无”、“没有” “并非”等词均可符号化为第1章 命题逻辑 注：否定联结词使用的原则：将真命题变成假命 题，将假命题变成真命题。但这并不是简单的随意加 个不字就能完成的。例如上例中的（2），q的否定式 就不能写成“这些都不是学生”。事实上严格来讲， “不是”不一定否定“是”。如阿契贝难题：“本句 是六字句”与“本句不是六字句”均是真命题。不过， 一般地，自然语言中的“不” 、 “无” 、 “没有”、 “并非”等词均可符号化为 " ". 