精选优质文档-倾情为你奉上离散数学第一章知识点总结（仅供参考）1.判断给定的句子是否为命题的基本步骤：首先应是陈述句；其次要有唯一的真值。 例：（1）我正在说谎。 不是命题。因为无法判定其真假值，若假设它为假即我正在说谎，则意味着它的反为真，即我正在说实话，二者相矛盾；若假定它为真即我正在说实话，则意味着它的反为假，我正在说谎，二者也相矛盾。这其实是一个语义上的悖论。悖论不是命题 （2）x-y2。 不是命题。因为x, y的值不确定，某些x, y使xy2为真，某些x, y使xy2为假，即xy2的真假随x, y的值的变化而变化。因此xy2的真假无法确定，所以xy2不是命题。 2.命题可以分为两种类型：原子命题（不能再分解为更简单命题，又可称为简单命题）； 复合命题(通过联结词、标点符号将原子命题联结而成的命题）3. 命题常元：一个命题标识符如果表示确定的简单命题，就称为命题常元 命题变元：如果一个命题标识符只表示任意简单命题的位置标志，就称它为
