在命题逻辑中构造下面推理的证明 前提:p→s,q→r,┐r,p∨q,结论s
1个回答
展开全部
①｛1｝p→s
②｛2｝q→r
③｛3｝┐r
④｛4｝p∨q /∴s
⑤｛2,3｝┐q ②③→-
⑥｛2,3,4｝p ④⑤∨-
⑦｛1,2,3,4｝s ①⑥
证毕
②｛2｝q→r
③｛3｝┐r
④｛4｝p∨q /∴s
⑤｛2,3｝┐q ②③→-
⑥｛2,3,4｝p ④⑤∨-
⑦｛1,2,3,4｝s ①⑥
证毕
追问
和书上例题的格式不太一样啊，我一点都不会。
举个例子，书上是这样写的：
①p→s 前提引入
②┐s 前提引入
③┐p ①②拒取式
④p∨q 前提引入
。。。。。
追答
都可以。体例不同而已。
①｛1｝ p→s P
②｛2｝ q→r P
③｛3｝ ┐r P
④｛4｝ p∨q P /∴s
⑤｛2,3｝ ┐q T②③→-
⑥｛2,3,4｝ p T④⑤∨-
⑦｛1,2,3,4｝ s T①⑥
证毕
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
上海华然企业咨询
2024-10-28 广告
在测试大模型时，可以提出这样一个刁钻问题来评估其综合理解与推理能力：“假设上海华然企业咨询有限公司正计划进入一个全新的国际市场，但目标市场的文化习俗、法律法规及商业环境均与我们熟知的截然不同。请在不直接参考任何外部数据的情况下，构想一套初步...
点击进入详情页
本回答由上海华然企业咨询提供
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
