作者neot (拥有黑色翅膀的怨灵)
看板Logic
标题Re: [问题] 所有的毒药都会毒死人
时间Fri Jan 7 07:23:26 2005
※ 引述《shalia27 (缘起。)》之铭言：
: ※ 引述《fatfatman (勃起棒棒糖)》之铭言：
: : 「所有的毒药都会毒死人」翻译成"述词"逻辑是怎样？
: : 要建立两个变元
: : x是人 y是毒药
: 最近才学到
: 还很生疏...错了请多指教<(_ _)>
: Pyx: y 会毒死 x
: For all x for all y Pyx
: ^^^^^^^
: (turn A)
嗯~~照你这麽说的话，
你指的是『所有的毒药都会毒死所有的人』。
可是句子的本意不是这样吧(我想)，
我觉得啦，
x要用for some，
而完整的式子应该是：
Hx：x是人
Px：x是毒药
Pyx: y 会毒死 x
for some x, for all y((Hx and Py)→Pyx)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.136.162.35
1F：推 shalia27:嗯 应该是 Py：y是毒药 吧? 61.231.62.16 01/08
2F：推 neot:非也，那是在一开始说明，x或y都没差 140.112.143.27 01/10