送交者: 阿闲 于 2005-4-21, 22:24:28:
罗集人的原话“如果星期六晚上大卫还没有被处死（q），那么星期天就不会被处死（p）；(根据命令A)，这样星期六就成了最后期限（M）； ”
自如的议论很搞笑：罗集人有一个莫名其妙的“(根据命令A)”在他的q->p后面。其实由A根本推不出q->p。应该是先根据A，q->"预知星期天处死"，再根据C，推出p；但是p&q与A矛盾。因此，根据反证法，便有q不成立。至于p是否为真，根本无关紧要。
问题是罗集人根本没有用A推倒q->p，而是说智者用(q->p)&A->M！当然，他接着证明智者是错误的，因为智者预期理由q为真。自如自己没读懂别人的意思，就妄加评论，真是够呛！