Re: 救我

[shalia27 (緣起。)]

※ 引述《fatfatman (勃起棒棒糖)》之銘言：
: 「所有的毒藥都會毒死人」翻譯成"述詞"邏輯是怎樣？
: 要建立兩個變元
: x是人  y是毒藥

最近才學到
還很生疏...錯了請多指教<(_  _)>

Pyx: y 會毒死 x

For all x for all y Pyx
^^^^^^^
(turn A)

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 61.231.61.170