用推理规则证明P→R.S∨P,-S=>R

yufeng52011 1年前 已收到2个回答 举报

走走- 春芽

共回答了18个问题采纳率:83.3% 举报

前提:P→R,S∨P
结论:-S=>R
证明:附加前提证明法
1.S∨P 前提引入
2.-S 附加前提
3.P 1.2.析取三段论
4.P→R 前提引入
5.R 假言推理
证毕

1年前

3

xiawkaih 幼苗

共回答了18个问题采纳率:83.3% 举报

前提:P→R,S∨P
结论:-S=>R
证明:附加前提证明法
1.S∨P 前提引入
2.-S 附加前提
3.P 1.2.析取三段论
4.P→R 前提引入
5.R 假言推理
证毕

1年前

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