导航：题目详情 | 答案解析 | 相关问题 | 最新问题 用归结法证明下面推理． 前提：￢p→q p→r r→s． 结论：q∨s． 大学 2020-04-01 01:20:27 结论,前提 已帮助 人 用归结法证明下面推理． 前提：￢p→q，p→r，r→s． 结论：q∨s． 热搜：检验检疫类别P.R/Q.S的含义是什么 答案解析 难度★★☆ 搜索 先将诸前提化成简单析取式． 前提：p∨q、￢p∨r、￢r∨s； 结论：q∨s． 证明： ①p∨q 前提引入； ②￢p∨r 前提引入； ③q∨r ①、②归结； ④￢r∨s 前提引入； ⑤q∨s ③、④归结． 相关问题 1、用归结法证明下面推理． 前提：p→（q→s) r→p q． 结论：r→s． 2020-04-01 2、用归结法证明下面推理． 前提：p ￢p∨r ￢r∨s． 结论：s． 2020-04-01 3、用归结法证明下面推理． 如果周强是上海人 则他是复旦大学或中山大学的学生；如果他不想离开上海 他就不是中 2020-04-27 4、以“不可能（p并且q）”为前提进行等值推理 其结论为 2022-08-10 5、以﹁p为前提进行有效推理 如果希望得到﹁q为结论 可增加的另一个前提有 2022-08-30 6、以（1）p∨q∨﹁r （2）（p∨q)→（s∧﹁q) （3）r为前提推出结论p∧r 所用的推理形式有 2022-08-30
