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