推 shalia27:嗯 應該是 Py：y是毒藥 吧? 61.231.62.16 01/08
推 neot:非也，那是在一開始說明，x或y都沒差 140.112.143.27 01/10
※ 引述《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