离散数学——命题逻辑

命题：具有真假意义的陈述句
原子命题：不能再分解的命题
命题的真值：T/F 或 1/0
注：“自指谓”的陈述句不算命题，因为其往往真假矛盾

命题标识符
原子命题一般用大写字母或带下标的大写字母表示，该符号称为命题符

联结词
原子命题可以通过联结词构成复合命题，联结词有5种
否定联结词﹁，读作“非”，也记作 “ ’ ”
合取联结词∧，读作“与”
析取联结词∨，读作“或”
条件联结词→，读作“如果…则”，联结的前后两个命题分别叫做前论和后论，或前提和结论
双条件联结词（双箭头），读作“同或” “异或”，并用符号⊙表示（同为真，异为假）

命题的分类：原子命题/复合命题