离散数学合式公式
1个回答
展开全部
离散数学合式公式是指命题标识符、逻辑联结词和圆括号按照一定的正确规则组成的合式，称为命题公式即合式公式，简称公式。
代表性地理解为：
(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))
代表性地理解为：
(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))
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
