Ⅰ 離散數學蘊含公式
離散數學合式公式是指命題標識符、邏輯聯結詞和圓括弧按照一定的正確規則組成的合式，稱為命題公式即合式公式，簡稱公式。
代表性地理解為：
(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))