命题：陈述句 真值已经确定
原子命题（简单命题）：不能被分解为更简单的命题
命题化的时候的解题步骤：
1. 先给出原子命题
2. 符号化
注意蕴含式：记作 p -> q ，p是前件，q 是后件
p 是 q 的充分必要条件， q 是 p 的必要条件 有以下的表达方式：
1. 只要 p ， 就 q
2. 因为 p ，所以 q
3. p 仅当 q
4. 只有q 才 p
5.除非 q 才 p
6. 除非 q ，否则非 p
等价式 记作 p <--> q ， p 和 q 互为充分必要条件
简单命题可以视作命题逻辑中的常数 ， 叫做命题常项 或命题常元 ，对应的也有命题变项
单个命题变项 是 合式公式，并称为原子命题公式
如果 公式 A 是单个的命题变项，则称 A 为 0层公式
反 ，并 ，或 ，蕴含式 ，等价式 都可以 增加 公式的层数
成真赋值和成假赋值
