第二天，宿舍管理员来查谟：谁最迟返回宿舍?

　　小杨说：“我回来的时候，小林还没有睡。”

　　小袁说：“我回来的时候，见小夏已经睡了，我也就睡了。”

　　小林说：“我进门的时候，小袁正好上床睡觉。”

　　小夏说：“我上床就睡着了，什么也不知道。”

　　宿舍管理员相信这四位同学讲的都是事实。于是，他迅速判断出他们之中谁是最迟反回宿舍的。

　　请问：最迟返回宿舍的是谁呢?宿舍管理员是怎样判明了这一点的呢?

《趣味逻辑学》

小林－小杨
小夏－小袁
小夏－小袁－小林－小杨

小杨回来最晚

答案

谁最迟返回宿舍（答案）

　　要弄清这一点，就要比较他们之间回到宿舍的早迟。而“早于”、迟于”都是两个对象之间存在的一种关系，由它们所形成的判断是关系判断，因而，这里所涉及到的推理是关系推理。什么是关系推理呢?关系推理是根据关系的逻辑性质而进行的一处推理，其前提和结论均 由关系判断组成。由于关系判断中的“关系；主要有两种：对称性关系和传递性关系，因而 ，关系推理也可相应分为对称性前系推理和传递性关系推理两种。

　　对称性关系推理是根据关系的对称性而进行的一种推理。

比如：

　　甲=乙，所以，乙=甲。

　　李白与杜甫同时代，所以，杜甫与李白同时代。

　　小张与小王是同学，所以，小王与小张是同学。

　　由于在对称性关系推理中，是由一个前提推出其结论的，所以，这种关系推理也是一种直接 的关系推理。

　　传递性的关系推理是根据关系的传递性而进行的一种推理。

比如：

　　甲＞乙，乙＞丙，所以，甲＞丙。

　　甲＜乙，乙＜丙，所以，甲＜丙。

　　孔子早于孟子，孟子早于荀子，所以孔子早于荀子。

　　这些都是传递性的关系推理。由于在这种推理中，其前提至少有两个，所以，也可称之为间接的关系推理。

　　为了回答本题中提出的问题，我们只要运用这种传递性的关系推理，就能迅速得解了。

　　我们将他们的回答，分别用关系判断来表示，即为：

　　小杨：“小杨迟于小林”；

　　小袁：“小袁迟于小夏”；

　　小林：“小林迟于小袁”；

　　小夏：没有直接作出什么关系判断。

　　由前三个关系判断可知：

　　1.小杨迟于小林；

　　2.小杨迟于小袁(按传递性关系推理，既然小杨迟于林小林，而小林又迟于小袁，所以小杨迟于小袁)；

　　3.小杨迟于小夏(按传递性关系推理，既然小杨迟于小袁，而小袁又迟于小夏)；

　　小杨既然分别迟于其他三从回到宿舍，所以是最迟返回宿舍的人。

出处：http://www.bjkp.gov.cn/kxbl/sllj/gdnr/3/k1040-03.htm