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