ಠ_ಠ
萬事問噗浪

需要邏輯證明大師的幫助
想求~E的話應該要從第二條前提開始拆,但是要拆∨的話,(B ∨ ~ A)求不出~E來

題目:
{~ (A ⊃ B) & (C & ~ D), (B ∨ ~ A) ∨ [(C & E) ⊃ D]} ├ ~E
carrot8537
https://images.plurk.com/54Wu23IzuMLTmKFkOrG85m.jpg https://images.plurk.com/3X6GyL2ZraPfQBbUcywPzD.jpg
他在寫什麼,總之貼過來給你看看
ಠ_ಠ
carrot8537:
謝謝旅人,我沒想到chatGPT會這個
coral1246
根本不需要那麼複雜。
ಠ_ಠ
coral1246:
請求旅人開示
coral1246
ಠ_ಠ: 作業自己寫
載入新的回覆