作者shalia27 (緣起。)
看板Logic
標題Re: 救我
時間Sun Dec 19 15:14:30 2004
※ 引述《fatfatman (勃起棒棒糖)》之銘言：
: 「所有的毒藥都會毒死人」翻譯成"述詞"邏輯是怎樣？
: 要建立兩個變元
: x是人 y是毒藥
最近才學到
還很生疏...錯了請多指教<(_ _)>
Pyx: y 會毒死 x
For all x for all y Pyx
^^^^^^^
(turn A)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.231.61.170