命题：陈述句   真值已经确定

原子命题（简单命题）：不能被分解为更简单的命题

命题化的时候的解题步骤：

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层公式
反 ，并 ，或 ，蕴含式 ，等价式 都可以 增加 公式的层数

成真赋值和成假赋值