看板 [ logic ]
討論串[請益] UG和EG運用
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] UG和EG運用
推噓2(2推 0噓 0→)留言2則，0人參與, 最新作者bagaqq (彭小黑)時間15年前 (2010/06/15 02:23), 編輯資訊
0
0
0
內容預覽:
第五個步驟沒有問題，. 問題是出現在第四個步驟，. 為什麼 Fvz 不可以做UG變成 (x)Fxz ？. 答案是因為在第三個步驟它做了EI. 想像前提一跟步驟二是這樣推論的︰. (i). 1.(x)(Ey)Fxy. 2.(Ey)Fay 1,UI. 另外也可以做出同樣的有效推論︰. (ii). 1.(
(還有992個字)
#1
[請益] UG和EG運用
推噓2(2推 0噓 1→)留言3則，0人參與, 最新作者clone198923 (mandrakelin)時間15年前 (2010/06/11 17:05), 編輯資訊
0
0
0
內容預覽:
我在書上看到這一命題,作者說這不是有效論證. 可是我自己怎麼看都看不出端倪>"<. 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時,要注意代換的個體變
首頁
上一頁
1
下一頁
尾頁