作者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