这里的讨论中提出了一个问题,怎么说“平行四边形是轴对称图形”似乎不对,而说“平行四边形不是轴对称图形”似乎也不对?不是有排中律吗?或者A,或者非A,或者是轴对称图形,或者不是嘛。
其实,按《数理逻辑》中的严格定义,“平行四边形是轴对称图形”和“x>0”一样都不是命题而是开语句,不能称它为“命题P”而应记作“开语句P(x)”.从严格意义上来说,开语句“P(x)”一般没有确定的真假值可言。当在“P(x)”前面加上“量词”后就可成为真正严格意义上的“命题”,且有唯一确定的真假值.比如写成“对于任意一个平行四边形x,x是轴对称图形”这才是一个“命题”,并且是一个假命题。