判断结果唯一的陈述句称为命题.

判断的结果称为命题的真值.

不能被分解为更简单的命题的命题称为简单命题.

由简单命题通过 联结词 联结而成的命题称为复合命题.

用小写字母 表示简单命题.

用 1 表示为真, 用 0 表示为假.