[請益] 有關有效性證明的問題

看板logic作者 (kkk)時間16年前 (2008/03/03 22:49), 編輯推噓0(0推 0噓 0→)
留言0則, 0人參與, 最新討論串1/2 (看更多)
全稱例化(UI)為何必須量辨到整個一列。 例:1、(X)Fx→(倒Ey)Gy 2、Fa→(Ey)Gy 是錯的 又 1、~(X)(Fx→Gx) 2、~(Fa→Ga) 也是錯的 為什麼?可以舉例說明嗎?以現實中的例子解釋? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.125.80.160
‣ 更多 fdsajkl 的文章
文章代碼(AID): #17p0_Zex (logic)
‣ 更多 fdsajkl 的文章
文章代碼(AID): #17p0_Zex (logic)