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

[fdsajkl (kkk)]

全稱例化(UI)為何必須量辨到整個一列。
例:1、(X)Fx→(倒Ey)Gy
   2、Fa→(Ey)Gy
     是錯的
又 1、~(X)(Fx→Gx)
   2、~(Fa→Ga)
      也是錯的
為什麼?可以舉例說明嗎?以現實中的例子解釋?

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.125.80.160