作者clone198923 (mandrakelin)
看板logic
標題[請益] UG和EG運用
時間Fri Jun 11 17:05:54 2010
我在書上看到這一命題,作者說這不是有效論證
可是我自己怎麼看都看不出端倪>"<
1.(x)(Ey)Fxy /(Ey)(x)Fxy
2.(Ey)Fvy 1,UI
3.Fvz 2,EI
4.(x)Fxz 3,UG
5.(Ey)(x)Fxy 4.EG
書上說
使用UG時,要注意代換的個體變項從未出現於EI
我在步驟四用x代換v, x從來沒有出現在EI中
步驟五用y代換z, y應該是自由的吧(自己業餘的判斷)
真的想不透orz
希望板上的高手們可以幫我解答
謝謝!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.122.32.141
1F：推 rexkimta:4的x是從3的v代換來的，3的v是從EI來的。 06/11 17:32
2F：→ rexkimta:等等，我弄錯了。 06/11 17:33
3F：推 rexkimta:手邊沒有書，量詞規則的使用限制也忘了差不多了ORZ 06/11 17:43