我是新手 这几题题目我想破头都想不出来 请大家帮帮忙 (1) 1. P→R 2. ～P→(～R→S) /∴ R V S 我想这题应该可以从 证明R成立 或是证明S成立 再用Add得证 但是我证不出来... (2) 1. ～(A‧B) ↔～C 2. (D V E) →C /∴ E→A 我可以证出C→A(?)但是证不出E→C... 1. ～(A‧B) ↔～C P 2. (D V E) →C P 3. [～(A‧B) →～C]‧[～C →～(A‧B)] 1 Equiv 4. ～(A‧B) →～C 3 Simp 5. ～～C →～～(A‧B) 4 MT 6. C →(A‧B) 5 DN 7. C →A 6 Simp 但是我不知道第五项的MT规则可不可以这样用 因为通常是给我～～C成立 才能导出～～(A‧B)成立吧? 请各位指点 (3) 1. T→G 2. S→G /∴ (T V S) →G 我的想法是 1. T→G P 2. S→G P 3. (T V G) →(G V G) 1,2 CD 4. (T V G) →G 3 Idemp 但是不知道3.这步可不可以这样用 因为前提并没有"T V G"这项 大概就这些 麻烦各位强者了!! --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 61.228.8.118