Ⅰ 离散数学蕴含公式
离散数学合式公式是指命题标识符、逻辑联结词和圆括号按照一定的正确规则组成的合式，称为命题公式即合式公式，简称公式。
代表性地理解为：
(p→q)p
(p→q)q
pp∨q
附加率
pp→q
qp→q
p∧(p∨q)q
析取三段论
p∧(p→q)q
假言推理
q∧(p→q)p
拒取式
(p→q)∧(q→r)p→r
假言三段论
(pq)∧(qr)pr
等价三段论
(p→r)∧(q→r)∧(p∨q)r
(p→q)∧(r→s)∧(p∨r)q∨s
构造性二难
(p→q)∧(r→s)∧(q∨s)p∨r
破坏性二难
(q→r)((p∨q)→(p∨r))
(q→r)((p→q)→(p→r))