离散数学合式公式

离散数学合式公式是指命题标识符、逻辑联结词和圆括号按照一定的正确规则组成的合式,称为命题公式即合式公式,简称公式.
代表性地理解为：
(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))