作者catawu ( ggg)
看板logic
标题Re: [问题] 所有的毒药都会毒死人
时间Tue Feb 22 23:53:09 2005
※ 引述《neot (拥有黑色翅膀的怨灵)》之铭言：
: 你指的是『所有的毒药都会毒死所有的人』。
: 可是句子的本意不是这样吧(我想)，
: 我觉得啦，
: x要用for some，
: 而完整的式子应该是：
: Hx：x是人
: Px：x是毒药
: Pyx: y 会毒死 x
: for some x, for all y((Hx and Py)→Pyx)
好像不是这样子吧
应该是所有的毒药都有某些人会被他毒死
所以是
For all x, (Px → for some x (Hx and Pyx))
这跟你的并不一样 不信你可作真值树看看
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.143.86