南宋的法医鼻祖宋慈（1186年-1249年）所写的《洗冤集录》，是世界上最早一部完整的法医学著作。

1241年左右，宋慈时任湖南地方官。某天一位男子于光天化日之下，被人用镰刀杀死在自己家中。经过仵作现场勘查之后，发现受害者身上有十多处刀伤，均是镰刀所致，而且死者家中没有任何财物丢失。很显然，这是一桩仇杀泄愤事件。经过多方调查，终于找到三位嫌疑人，但是这三位嫌疑人拒不认罪。宋慈也不慌不忙，他到受害者所在的村子当中，搜查出了整个村子所有的镰刀，并且将这几十把镰刀放在大太阳底下暴晒。时值盛夏，其中的一把镰刀上聚集了很多嗡嗡乱飞的苍蝇。看到这种情形，镰刀主人不得不跪地认罪，承认了杀害死者，两人都是同村的乡邻，因为某些鸡毛蒜皮的小事心生仇怨。他一时气愤，从家中拿镰刀杀害了死者。

因为死者身上中了十多处的刀伤，均是同一把镰刀所为，镰刀上面就会附着很多受害者的鲜血。而古时又没有像如今专业的清洗剂，所以即使嫌疑人看到镰刀上面，沾了很多鲜血，顶多也只是用清水冲洗。将表面的血污冲去就算完事儿。但这些血污已浸到镰刀内部，放在太阳底下暴晒之后，必将迎来苍蝇蚊虫的附着。这点就和肉铺老板使用杀猪刀一样，再怎么冲刷，总有血污之气，引来蚊虫的附着。

针对宋慈这个镰刀案子的故事，中国法官微信号说：这是一个实证推理破案的故事，但未点名这是一个什么样子的推理？

关敏以为：镰刀案的推理是充要条件的假言推理。充要条件假言推理是前提中有一个是充要条件假言判断的假言推理，有四个正确形式：肯定前件式：p当且仅当q，p，所以q。否定前件式：p当且仅当q，非p，所以非q。肯定后件式：p当且仅当q，q，所以p。否定后件式：p当且仅当q，非q，所以非p。

当且仅当镰刀杀了人，镰刀必然残留血腥招苍蝇。现在一把镰刀的血腥招来苍蝇，所以，这镰刀杀了人。为肯定后件式推理。

宋慈《洗冤集录》一经成书，就受到宋理宗的褒奖，下令颁行全国。历代法医都将它奉为金科玉律，由于作者本人缺乏逻辑学训练，产生了“滴血认亲”错误说法，对于今天的我们，更需要在逻辑学指引下更上一层楼。