第1章命题逻辑 从上面讨论可以看出,判断一个语句是否是命题的关键是: (1)语句必须是陈述句 (2)陈述句必须具有唯一的真值。要注意两点: ①一个陈述句在客观上能判断真假,而不受人的知识范围 的限制。 ②一个陈述句暂时不能确定真值,但到了一定时候就可以 确定,与一个陈述句的真值不能唯一确定是不同的。以上所讨 论的命题均是一些简单陈述句。在语言学中称为简单句,其结 构均具有“主语+谓语”的形式,在数理逻辑中,我们将这种 由简单句构成的命题称为简单命题,或称为原子命题,用p、q、 r、p、q1、r1等符号表示(必要时亦可用其它小写的英文字母表 示)。如 p:4是偶数 q:煤是白的。 《几何原本》的作者是欧几里德第1章 命题逻辑 从上面讨论可以看出，判断一个语句是否是命题的关键是： (1)语句必须是陈述句。 (2)陈述句必须具有唯一的真值。要注意两点： ①一个陈述句在客观上能判断真假，而不受人的知识范围 的限制。 ②一个陈述句暂时不能确定真值，但到了一定时候就可以 确定，与一个陈述句的真值不能唯一确定是不同的。以上所讨 论的命题均是一些简单陈述句。在语言学中称为简单句，其结 构均具有“主语+谓语”的形式，在数理逻辑中，我们将这种 由简单句构成的命题称为简单命题，或称为原子命题，用p、q、 r、pi、qi、ri等符号表示（必要时亦可用其它小写的英文字母表 示）。如： p：4是偶数。 q：煤是白的。 r：《几何原本》的作者是欧几里德