作者COCOAII (yaya)
看板W-Philosophy
标题Re: [问题] CI是什麽？道德原则可以是条件句吗？
时间Wed Jan 24 19:17:53 2007
※ 引述《IsaacStein (My Name)》之铭言：
: 你的意思是，你会符号化成：
: (x)[(Sx→~Lx)→~Ox]？
: 也就是：(x)(Sx→~Lx)→(x)~Ox？
不是，我会符号化为(x)[~(Sx→Lx)→~Ox]，
这是我直觉的翻法。
不过我发现一件事，就是这种翻法和你的翻法逻辑上等值，
(x)[(Sx→~Lx)→(Sx→~Ox)]。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.104.108.83
1F：推 IsaacStein:嗯,我算的结果也认为是等值,所以就是我想得复杂一点,而 01/24 20:07
2F：→ IsaacStein:你想得简单一点吧。 01/24 20:08