安安 眾卿
本魯觀察八卦版動不動就嘴 "邏輯?" "我不懂他的邏輯?" 之類的
好像版上鄉民邏輯課都滿分 是這樣嗎?
卦?
ps.
∀v1P1v1 → P0 等於 ∀v1(P1v1 → P0) 嗎?
因為如果不等於的話,
{(Ev1P1v1 → P0)} ├ ∀v1(P1v1 → P0)
這題我就解不出來了 (E 為反E
或是
Ev1P1v1 → P0 等於 Ev1(P1v1 → P0) 嗎?
不等於的話,
{∀v1(P1v1 → P0)} ├ (Ev1P1 → P0)
我也解不出來
導式都已經列完了 最後一步就缺一個括號長的不一樣
可是要昧著良心說他們相等 又好像說不過去