離散數(shù)學(xué)合式公式是指命題標(biāo)識符、邏輯聯(lián)結(jié)詞和圓括號按照一定的正確規(guī)則組成的合式,稱為命題公式即合式公式,簡稱公式.
代表性地理解為：
(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 構(gòu)造性二難
(P→Q)∧(R→S)∧(Q∨S)P∨R 破壞性二難
(Q→R)((P∨Q)→(P∨R))
(Q→R)((P→Q)→(P→R))