作者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