大连理工大学软件学院提供的离散数学电子教材(PDF格式)。

简介：
1.1 命题与联结词 1.1.1 命题的概念及定义 命题指的是既可以是真，也可以是假，但不能同时为真和为假的陈述句。在离散数学中，命题所表达的判断结果被称为命题的真值，该真值只能取两个可能的值：真或假。当一个命题的真值确定为真时，我们称其为真命题；当其真值确定为假时，则称为假命题。值得注意的是，任何命题都只有一个确定的真值。通常，对于命题的真值，我们用1或T（True）来表示真情况，用0或F（False）来表示假情况。为了方便表达，命题通常使用大写英文字母，例如P、Q、R……来代指。判定一个给定的句子是否构成命题，需要遵循两步骤：首先确认该句子是否符合陈述句的特征；其次确定它是否具有唯一的一个可确定的真值。例如，考虑以下句子：1.1 判断下面句子是否是命题。（1）2013年是否为闰年。