討論串[問題] 關於universal generalization 的restr …
共 10 篇文章
內容預覽:
這裡的問題可能是在於, 不同的教科書採用了不同的系統,. 所以規則會略有不同, 但書也會略有不同。. 主要要先分兩個, 一個是你用的系統裡有沒有constants,. 因為有的UI, UG規則是針對constants給的,. 例如, UI可以代換任何的constant, 而UG則會有相對的限制。.
(還有516個字)
內容預覽:
現在我覺得問題的輪廓更清晰了 感謝各位說明. 根據M大宏觀的比較說明 我的系統裡是有constants 跟open statement. 同時我的書上有關UG的限制有兩個:條件跟間接證法sequence的第一行, 如果variable是free, 則不能對他做UG (原因書上沒說..我理解是因為這個
(還有435個字)
內容預覽:
這樣我大概懂了...對, 在條件證法和間接證法中是不能直接UG的,. 我忘了這點。這是為了避免以下的論証:. 1. Fx Ass. 2. (x)Fx UG. 3. Fx -> (x)Fx 1-3 CP. 4. (x)(Fx -> (x)Fx) 3, UG. 這裡, 4的 UG 是合法的, 但是不合法
(還有115個字)
內容預覽:
variables:變元，代表不特定的個體，通常用x,y,z...來表示，以跟個體常元. a,b,c..區隔.. free & bound:自由與拘束，當一個變元被量限詞(如(x))量限到，即是拘束的，反之則是. 自由的.. 例子：. (1)Fx x是自由的，因為前方無任何量限詞. (2)(x)(F
(還有1053個字)
內容預覽:
例子怪怪的。. 首先, 這裡本身使用的條件證法是錯的,. 你有3. Fx ACP, 假設了一個條件,. 但你最後沒有得到一個結論之後把它關起來,. 條件證法是:. P Assumption. .... .... Q. P ->Q CP. 也就是你假設了P然後推出Q, 你就可以用條件證法的規則disc
(還有61個字)