※ 引述《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