ಠ_ಠ
@anonymous
囁く
Sat, Oct 14, 2023 6:48 AM
萬事問噗浪
需要邏輯證明大師的幫助
想求~E的話應該要從第二條前提開始拆,但是要拆∨的話,(B ∨ ~ A)求不出~E來
題目:
{~ (A ⊃ B) & (C & ~ D), (B ∨ ~ A) ∨ [(C & E) ⊃ D]} ├ ~E
carrot8537
Sat, Oct 14, 2023 7:07 AM
他在寫什麼,總之貼過來給你看看
ಠ_ಠ
Sat, Oct 14, 2023 7:10 AM
carrot8537:
謝謝旅人,我沒想到chatGPT會這個
coral1246
Sat, Oct 14, 2023 7:12 AM
根本不需要那麼複雜。
ಠ_ಠ
Sat, Oct 14, 2023 7:15 AM
coral1246:
請求旅人開示
coral1246
Sat, Oct 14, 2023 7:41 AM
ಠ_ಠ: 作業自己寫
載入新的回覆
需要邏輯證明大師的幫助
想求~E的話應該要從第二條前提開始拆,但是要拆∨的話,(B ∨ ~ A)求不出~E來
題目:
{~ (A ⊃ B) & (C & ~ D), (B ∨ ~ A) ∨ [(C & E) ⊃ D]} ├ ~E
謝謝旅人,我沒想到chatGPT會這個
請求旅人開示