02324 离散数学

1.1命题与命题联结词

由一个或几个已知的前提，推导出一个未知的结论的思维过程称为推理。

有唯一真值的陈述句称为命题（语句）。悖论不属于命题

用符号来表示命题的这个过程称为命题的符号化。（通过用大小写英文字母来表示）

表示命题的符号称为命题标识符。当命题标识符表示某个确定的命题时，称为命题常量或命题常项，如果命题标识符只表示命题位置，称为命题变元或命题变项。命题变元可以表示任意一个命题，即在确定它所代表的命题之前，命题变元不具有确定的真值。当用一个具体的命题去代替命题变元时，它的真值也就确定下来了，这称为对命题变元的指派。

不能再分解的命题称为原子命题或者简单命题。