命题是表达判断的陈述句

命题常项：命题的真值 常值命题：具体命题 命题变元：用大写字母表示的任一命题

（1）单个命题变元、常值命题及命题常项是合式公式 （2）若A是合式公式，则﹁A是合式公式 （3）若A和B是合式公式，则（A∧B），（A∨B），（A→B），（A↔B）都是合式公式 （4）当且仅当有限次地应用（1）（2）（3）所得到的符号串是合式公式。

⑴对合律 ﹁﹁PP ⑵幂等律 P∨PP、 P∧PP ⑶交换律 P∧QQ∧P、P∨QQ∨P ⑷结合律 P∨(Q∨R)(P∨Q)∨R P∧(Q∧R)(P∧Q)∧R ⑸分配律 P∨(Q∧R)(P∨Q)∧(P∨R) P∧(Q∨R)(P∧Q)∨(P∧R) ⑹吸收率 P∨(P∧Q)P、P∧(P∨Q)P ⑺ 德·摩根定律 ﹁(P∨Q)﹁P∧﹁Q ﹁(P∧Q)﹁P∨﹁Q ⑻同一律 P∨FP、P∧TP ⑼零律 P∨TT、P∧FF ⑽互补律 P∨﹁PT、P∧﹁PF ⑾ P→Q﹁P∨Q ⑿ P→Q﹁Q→﹁P ⒀ P↔Q(P→Q)∧( Q→P) ⒁