离散数学合式公式是指命题标识符、逻辑联结词和圆括号按照一定的正确规则组成的合式,称为命题公式即合式公式,简称公式. 代表性地理解为： PP∨Q 附加率 PP→Q QP→Q P∧(P∨Q)Q 析取三段论 P∧(P→Q)

Q 假言推理 Q∧(P→Q)