[請益] 又是自然演繹法

看板logic作者 (果果)時間16年前 (2007/11/08 19:28), 編輯推噓0(0推 0噓 0→)
留言0則, 0人參與, 最新討論串1/3 (看更多)
不好意思我真的很遜 所以又要麻煩大家幫忙... (1)不用IP/CP的話要怎麼解呢? 1. A→B 2. C→D /∴ (A V C) →(B V D) 2,3題是定理的證明 因為IP/CP才教沒多久 也沒教很深入 所以想了半天 試了半天還是解不出來... (2) A→(～A→B) (3) A→[B←→(A→B)] -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.217.154.114 ※ 編輯: laevulose 來自: 61.217.154.114 (11/08 19:28)
‣ 更多 laevulose 的文章
文章代碼(AID): #17ClBT5e (logic)
‣ 更多 laevulose 的文章
文章代碼(AID): #17ClBT5e (logic)