离散数学1：基本概念

一、命题与联结词

命题：非真即假的陈述句即为命题。如：因为3>2，所以3≠2.（它是复合命题）

命题有真值，非1即0。

简单命题/原子命题：不能被分解成更简单的命题。如3＞2和3≠2这是两个简单命题。

命题符号化：用p、q、r、s等表示命题。

联结词￢、∧、∨、→、↔的定义

除了￢、∧、∨、→、↔，还可以使用（和），（和）必须成对出现。

（P→q为真只表示p与q的取值关系，而与p和q是否有什么内在联系无关。）

1、判断是否为命题：

（1）x大于y，其中x和y是任意的两个数。

（2）π大于吗？

（3）请不要吸烟！

（4）我正在说假话。

2、先将“2是偶素数”中出现的原子命题符号化，并指出他们的真值，然后再写出这个陈述。

3、将下列命题符号化：

（1）张晓静爱唱歌或爱听音乐。

（2）张晓静只能挑选202或203房间。

（3）张晓静是江西人或安徽人。

二、命题公式及其赋值

命题常项/命题常元：真值确定的简单命题。相当于常数。

命题变项/命题变元：取值1或0的变元。

合式公式：将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串。必须是有限次的。简称为公式。