ಠ_ಠ
@anonymous
囁く
Fri, Apr 7, 2023 3:33 AM
Fri, Apr 7, 2023 3:34 AM
2
想求救有沒有會邏輯自然演繹法的旅人
已經算了兩天還卡在這裡…
要證明這個定理：~( A ↔ B )↔(A ↔ ~B )
ಠ_ಠ
Fri, Apr 7, 2023 4:23 AM
發完文後突然就想通了應該有機會證出來
晚點再來寫一次
turkey4880
Fri, Apr 7, 2023 4:50 AM
Fri, Apr 7, 2023 4:51 AM
這樣自然嗎
我不懂演繹法
載入新的回覆
要證明這個定理：~( A ↔ B )↔(A ↔ ~B )
這樣自然嗎