试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R

阳光下舞蹈的尘埃 1年前 已收到1个回答 举报

人生愁恨 幼苗

共回答了22个问题采纳率:90.9% 举报

前提:P→(Q→R),﹁S∨P,Q
结论:S→R
证明:
1)P→(Q→R) 前提引入
2)Q→(P→R) 1)等值置换
3)Q 前提引入
4)P→R …… (留给你)
5)﹁S∨P ……
6)S 附加前提引入
7)P ……
8)R ……
9)S→R ……
得证.

1年前

7
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 0.065 s. - webmaster@yulucn.com