视频字幕
欢迎来到逻辑侦探事务所！今晚发生了一起离奇的宝石失窃案。豪华庄园的书房内，价值连城的璀璨之星宝石不翼而飞。现场只留下一个线索：窗台上有一个清晰的泥脚印。首席侦探福尔摩斯·逻根据这个线索提出了原命题：如果嫌疑人是昨晚闯入的窃贼，那么他鞋底必然沾有花园特有的红泥。这就是我们破案的起点！
侦探助手华生提出了一个新思路：逆命题。他说，如果发现鞋底有红泥，那么此人必定是昨晚的窃贼。但是等等，这个推理有问题！花园工人每天都在红泥地里工作，他们的鞋底当然也会有红泥，但他们并不是窃贼。这说明逆命题不一定成立，原命题成立不能保证逆命题也成立。
女探长艾琳提出了否命题：如果嫌疑人不是昨晚的窃贼，那么他鞋底就没有红泥。但这个推理也有漏洞！邮递员今天早上送信时走过了花园，虽然他不是窃贼，但鞋底也沾上了红泥。这说明否命题也不一定成立。否命题的真假性与原命题无关。
老探长麦考夫揭示了破案的关键：逆否命题！如果鞋底没有红泥，那么此人不是昨晚的窃贼。清洁工的鞋底很干净，没有红泥，所以他确实不是窃贼。这个推理完全正确！因为逆否命题与原命题在逻辑上是等价的，这是数学逻辑中的重要定理。
通过这个侦探故事，我们揭示了命题四种形式的真相。原命题与逆否命题在逻辑上永远等价，这是数学推理的基石。逆命题与否命题相互等价，但它们不一定与原命题等价。在实际应用中，我们常常利用逆否命题来进行反证法推理。记住这个口诀：原命题与逆否命题是好朋友，逆命题与否命题是好朋友，但两对朋友之间不一定是朋友！通过逆否命题的严密逻辑，我们的侦探成功破案，这就是数学逻辑的力量！
侦探助手华生提出了逆命题的推理：如果发现鞋底有红泥，那么此人必定是昨晚的窃贼。华生兴奋地指着园丁约翰说，你看，他鞋底有红泥，所以他就是窃贼！但是福尔摩斯摇头说，华生，冷静点！园丁约翰每天都在花园里工作，鞋底当然会有红泥，但他昨晚在镇上酒吧有完美的不在场证明。这说明逆命题不一定成立，有红泥不等于就是窃贼。
反派莫里亚蒂出现了，他想要制造混乱！他提出否命题：如果嫌疑人不是昨晚的窃贼，那么他鞋底就没有红泥。莫里亚蒂阴险地笑着说，管家史密斯不是窃贼，但他今天早上不小心踩到了花园的红泥，鞋底也有泥！这说明你们的推理有漏洞！但是福尔摩斯冷静地回应：莫里亚蒂，你又在混淆视听。否命题不一定为真，它与原命题的真假性无关。