在命题逻辑中构造下面推理的证明 前提: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①⑥
证毕
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
Sievers分析仪
2025-02-09 广告
是的。传统上，对于符合要求的内毒素检测，最终用户必须从标准内毒素库存瓶中构建至少一式两份三点标准曲线；必须有重复的阴性控制；每个样品和PPC必须一式两份。有了Sievers Eclipse内毒素检测仪，这些步骤可以通过使用预嵌入的内毒素标准...
点击进入详情页
本回答由Sievers分析仪提供
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
