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