在命题逻辑中构造下面推理的证明 前提:p→s,q→r,┐r,p∨q,结论s
问题描述：
在命题逻辑中构造下面推理的证明 前提:p→s,q→r,┐r,p∨q,结论s
答
①｛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｝┐rP④｛4｝p∨qP /∴s⑤｛2,3｝┐q T②③→-⑥｛2,3,4｝pT④⑤∨-⑦｛1,2,3,4｝ s T①⑥证毕