《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S
1个回答
展开全部
(1)R P(添加前提）
(2)┐RVP P
(3)P T，(1)，(2)
(4)P→(Q→S) P
(5)(Q→S) T，(3)，(4)，
(6)Q P
(7)S T，(5)，(6)
(8)R→S CP，(1)，(7)
其中，第3步的T用到了公式：┐A∧(A∨B) => B
第5步和第7步的T用到了公式：A∧(A→B) => B
P：前提引入规则（P规则）：引入已知前提
T：结论引入规则（T规则）：证明过程中的某些先前步骤，通过公式（基本等值式or基本蕴藏式）变换出的新公式 可引入
CP：CP规则：如果由B和一组前提推出C，则仅由这组前提可推出B→C
如本题，第1步至第7步，由R和给出的已知前提推出S，则说明这组前提能推出B→C
(2)┐RVP P
(3)P T，(1)，(2)
(4)P→(Q→S) P
(5)(Q→S) T，(3)，(4)，
(6)Q P
(7)S T，(5)，(6)
(8)R→S CP，(1)，(7)
其中，第3步的T用到了公式：┐A∧(A∨B) => B
第5步和第7步的T用到了公式：A∧(A→B) => B
P：前提引入规则（P规则）：引入已知前提
T：结论引入规则（T规则）：证明过程中的某些先前步骤，通过公式（基本等值式or基本蕴藏式）变换出的新公式 可引入
CP：CP规则：如果由B和一组前提推出C，则仅由这组前提可推出B→C
如本题，第1步至第7步，由R和给出的已知前提推出S，则说明这组前提能推出B→C
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
