在命題邏輯中構(gòu)造下面推理的證明前提:p→s,q→r,┐r,p∨q,結(jié)論s

數(shù)學(xué)人氣：903 ℃時(shí)間：2020-05-04 19:48:33

優(yōu)質(zhì)解答

①｛1｝p→s
②｛2｝q→r
③｛3｝┐r
④｛4｝p∨q /∴s
⑤｛2,3｝┐q ②③→-
⑥｛2,3,4｝p ④⑤∨-
⑦｛1,2,3,4｝s ①⑥
證畢和書上例題的格式不太一樣啊，我一點(diǎn)都不會(huì)。舉個(gè)例子，書上是這樣寫的：①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①⑥證畢