[問題] sequent calculus
我要問一個很蠢的問題：
|- P <-> Q
該怎麼拆解？
發現它並不存在於 sequent calculus 的規則內
難道說我只能把它轉成
|- (P->Q) Λ (Q->P) 來做嗎？
（而且這樣還不能寫這是哪一條規則！只能說by definition <-> is xxxxx）
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.46.31
→
07/04 19:10, , 1F
07/04 19:10, 1F
→
07/04 19:11, , 2F
07/04 19:11, 2F
→
07/04 22:47, , 3F
07/04 22:47, 3F
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
