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