在命题逻辑中构造下面推理的证明前提:p→s,q→r,┐r,p∨q,结论s

1个回答

#热议# 在购买新能源车时，要注意哪些？

xsyu90
2012-05-15 · TA获得超过1447个赞

知道小有建树答主

回答量：549

采纳率：50%

帮助的人：161万

我也去答题访问个人页

关注

展开全部

①｛1｝p→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①⑥
证毕

本回答由提问者推荐