萬事問噗浪

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

題目：
{~ (A ⊃ B) & (C & ~ D), (B ∨ ~ A) ∨ [(C & E) ⊃ D]} ├ ~E

他在寫什麼，總之貼過來給你看看

carrot8537:
謝謝旅人，我沒想到chatGPT會這個

根本不需要那麼複雜。

coral1246:
請求旅人開示

ಠ_ಠ: 作業自己寫