在命题逻辑中构造下面推理的证明 前提: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 ①⑥
证毕
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
厦门鲎试剂生物科技股份有限公司
2023-08-01 广告
BG试验又称为G试验，是一种基于真菌细胞壁成分的血清学试验。BG试验检测的是真菌细胞壁中的葡聚糖成分。操作步骤如下：1. 左键单击【View】2. 左键单击【Residual Diagnostics】3. 左键单击【Series Corre...
点击进入详情页
本回答由厦门鲎试剂生物科技股份有限公司提供
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
