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