Re: [問題] CI是什麼？道德原則可以是條件句嗎？

[COCOAII (yaya)]

※ 引述《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
推 IsaacStein:嗯,我算的結果也認為是等值,所以就是我想得複雜一點,而
→ IsaacStein:你想得簡單一點吧。