[請益] UG和EG運用

看板logic作者clone198923 (mandrakelin)時間15年前 (2010/06/11 17:05)推噓2(2推 0噓 1→)

留言3則, 1人參與討論串1/2 (看更多)

我在書上看到這一命題,作者說這不是有效論證可是我自己怎麼看都看不出端倪>"< 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

推

rexkimta

06/11 17:32, , 1^F

06/11 17:32, 1^F

→

rexkimta

06/11 17:33, , 2^F

06/11 17:33, 2^F

推

rexkimta

06/11 17:43, , 3^F

06/11 17:43, 3^F