离散数学--命题

命题：能分辨真假的陈述句

例题：

A. 天安门广场是世界上最大的广场。

B. 西安是中国最大的城市。

C. 直角三角形的斜边是其外接圆的直径。（均为命题，但真值不同）

      作为命题的陈述句所表达的判断结果称作命题的真值，真值只取两个值：真或假。真值为真的命题称作真命题，真值为假的命题称作假命题。

D. 别的星球有外星人。（为命题）

E. 本命题是假的。

      命题E为悖论；因为若指派 “命题”为真，则E为假。若指派 “命题”为假，则E为真。

      像E这样由真能推出假，又能由假推出真，从而既不能为真也不能为假的陈述句称作悖论。悖论不是命题。

S. 3>2  

T. 因为3>2，所以3！=2.

      像S这种不能被分解成更简单的命题称作简单命题或原子命题。像T这种由简单命题通过联结词联结而成的命题，称作复合命题。

      判断给定句子是否为命题，应该分两步：首先判定它是否为陈述句，其次判断它是否有唯一的真值。

命题标识符：表示命题的符号，如 P 和[13]。

1、只有确定真值的陈述句才是命题；

2、原子命题：不能分解为更简单的陈述句；

3、复合命题：由联结词、标点符号和原子命题复合构成的命题；

4、真值 “真”或“假”分别用T或F表示；T通常写为1，F通常写为0。

5、使用大写字母A，B，…，或用带下标的大写字母或数字如

Ai, 、[13]等来表示命题；

6、命题标识符若表示确定的命题，则称为命题常量；若表示任

意命题的位置标识，则称为命题变元；

7、当命题变元用特定命题取代，并能确定命题变元的真值，该

过程称为对变元进行指派；

8、当命题变元表示原子命题时，该变元称为原子变元。