1.1 命题与联结词 1.2 命题公式、翻译、真值表1.4 对偶式与蕴涵式1.3 公式分类与等价式1.5 联结词的扩充与全功能联结词组1.6 公式标准型范式1.8 命题逻辑的推理规则1.7 公式主范式1.1 命题与联结词 1.1.1 命题的基本概念1.1.2 命题分类与命题标识符1.1.3 命题联结词1.1.1 命题的基本概念 注意：判断一个句子是否为命题应分为两步：首先判断它是否为陈述句，其次判断它能否确定真假。注意，一个陈述句能否判断真假，和我们是否知道它的真假是两回事。 定义1.1 能判断真假的陈述句称为命题。一个命题的真或假称为命题的真值，分别用T(或1)与F(或0)表示。真值为真的命题称为真命题，真值为假的命题称为假命题。 例 1 判断下列句子哪些是命题？ (1)雪是黑的。 (2)天气多好呀！ (3)别的星球上有生物。 (4)1101110。 (5)你上网了吗？ (6)全体立正！ (7)xy5。 (8)人有五指。 (9)现在是6点钟。 (10)我正在说谎。命题感叹句，不是命题命题（目前无法判断）命题（由上下文而定）疑问句，不是命题祈使句，不是命题陈述句，但没有确定的真值，不是
