推 Step4head: 感覺像反証法？？我這裡也有疑問 10/13 12:52
→ chichi5020: 沒加矛盾符號是反證法，加了就變矛盾證法吧？ 10/13 19:08
推 TEPLUN: 跟題目已知矛盾啊 10/14 08:10
https://i.imgur.com/iv5yIYF.jpg
https://i.imgur.com/E2vuHQK.jpg
想請問一下 中間證明我都看得懂
但不太知道為什麼最後會矛盾
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 110.28.101.142
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1539401421.A.707.html