[請益] 述詞翻譯

看板logic作者bagaqq (彭小黑)時間15年前 (2010/04/11 00:41)推噓2(2推 0噓 1→)

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

在做題目的時候做到一題︰ 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

推

zxcv7747

04/11 00:45, , 1^F

04/11 00:45, 1^F

推

Searle

04/11 01:15, , 2^F

04/11 01:15, 2^F

→

Searle

04/11 01:15, , 3^F

04/11 01:15, 3^F