作者MathTurtle (恩典)
看板W-Philosophy
标题Re: [讨论] 废死与国家战争权
时间Fri May 28 17:54:36 2010
※ 引述《luciferii (路西瓜)》之铭言：
: ※ 引述《MathTurtle (恩典)》之铭言：
: : 看不太懂为何令Y=X时, □Ey(~My) 会等价於 □Vy(~My)。
: : 前者是说必然地至少有一个误判Y案例, 後者是说必然地所有Y案例都是误判,
: 呃，
: 前者是说必然地至少一个y不是误判
: 把这类的y集合起来
: 令X=Y，即让只有 y才判死
: 因此後者
: 必然地所有Y案例都不是误判
奇怪的地方就是这里的"令X=Y"。
误判论者的 □Ex(Mx) 当中的 'x'是取值在所有的案件,
但你的Y是刻意construct的proper subset,
两者不可能会相等。
而且□Ey(~My) 不太可能等价於 □Vy(~My),
这两着要保证等值必须Y只有一个案件, 在这情况下,
Y只有一个案件而X是所有的案件, 两者就不可能相等了 (只要超过两个案件)。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 81.107.38.67