也许我换一种写法并多加些注释会更清楚一些(另外我(3X.2)中有些笔误))...

其实我每一步与前一步的差异只有1~2项,而且肯定只关于一种素质,所以应该是容易读懂的。

为表述方便令1=富有,2=聪明,3=艺术才华,4=漂亮

由于A穷或B穷都会推出矛盾,而且这部分没有什么异议故不再赘述。所以有:

(1) A+1 B+1 C-1 (A富有 B富有 C穷 )

(2) A+1+3 B+1 C-1 (因为A富有,所以A有才华(A+3))

(3X) A+1+3 B+1+3 C-1 (这里为了能继续赋值下去只好先假设B有才华(B+3))

(3X.1) A+1+3 B+1+3 C-1-3 (因为A和B都有才华,所以C只能是无才华(C-3))

(3X.2) A+1+3 B+1+3 C-1-3-4 (因为C无才华,所以C一定不漂亮(C-4))

(3X.3) A+1+3+4 B+1+3+4 C-1-3-4 (C不漂亮当然就意味着A和B都漂亮(A+4 B+4))

至此A和B都已经是+1+3+4,再往下推意味着两人中必然至少有一人会是+1+3+4+2,而这与已知“没有人会拥有所有4种素质”是不符的。所以(3X)的假设(B+3)是不成立的,所以必然有B-3,即:

(3) A+1+3 B+1-3 C-1 (B无才华(B-3))

(4) A+1+3 B+1-3 C-1+3 (所以C有才华(C+3))

(5) A+1+3 B+1-3-4 C-1+3 (因为B无才华,所以B一定不漂亮(B-4))

(6) A+1+3+4 B+1-3-4 C-1+3+4 (B不漂亮意味着A和C都漂亮(A+4 C+4))

(7) A+1+3+4-2 B+1-3-4 C-1+3+4 (A+1+3+4 意味着A只能-2 (不聪明))

(8) A+1+3+4-2 B+1-3-4+2 C-1+3+4+2 (A不聪明意味着B和C都聪明(B+2 C+2))

所以(8)一定是唯一的可能性。

请您先登陆,再发跟帖!