作者bagaqq (彭小黑)
看板logic
標題[請益] 述詞翻譯
時間Sun Apr 11 00:41:02 2010
在做題目的時候做到一題︰
1. All horses are animals.(馬是動物)
————————————————————
∴ All heads of horses are heads of animals.(馬的頭是動物的頭)
解答上面是這樣寫︰
1. (∀x)(Sx→Ax)
∴ (∀x)[(∃y)(SyΛHxy)→(∃y)(AyΛHxy)]
Sx:﹎﹎﹎是馬
Ax: ﹎﹎﹎是動物
Hxy: ﹎﹎﹎是﹍﹍﹍的頭
論證的證明方面沒什麼問題
我覺得奇怪的地方是 結論的符號化
為什麼是這樣翻譯呢
百思不解阿>"<
請各位幫幫我
謝謝!!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.119.192.38
1F：推 zxcv7747:疑!?好像今年的考題XD 04/11 00:45
2F：推 Searle:如果用for all，那就變成(∀y)(Sy→Hxy) 04/11 01:15
3F：→ Searle:也就是只要是馬的東西，x都是他的頭 找不到這樣的東西 04/11 01:15