Question

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

Answer 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 ①⑥
证毕

追问

和书上例题的格式不太一样啊，我一点都不会。
举个例子，书上是这样写的：
①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①⑥
证毕