这是智力版一位大虾的回答，完全从数学的角度（感觉串版了）：

发信人: here080 (hero080), 信区: IQDoor
标  题: Re: 请教“真”逻辑问题 ：
发信站: 水木社区 (Thu Oct 22 01:30:23 2020), 站内
  
这视频好垃圾啊，一个这么简单的东西扯这么多。
逻辑推理都可以用集合来判断。
A = {下雨}
B = {拥堵}
若下雨，则拥堵 : A => B
A => B 为真，说明A是B的子集 （只要A发生则B发生）
A => !B 则为假，因为A是B的子集，就不可能是B的补集的子集




【 在 gloop 的大作中提到: 】
: “若p则q”等价于“非p或q”。比如我断言“若明天下雨则明天拥堵”，那么明天出现什么情况的时候我是对的？明天下雨且拥堵的时候我自然对了，而如果明天没下雨，那不管堵不堵我都是对的，因为我并没有说不下雨的时候会怎样。同理假如另外一个人断言“若明天下雨则明天不拥堵”，那么明天出现什么情况他是对的？如果明天下雨且不拥堵，那他对了，如果明天不下雨，他还是对的。这里可以看到如果明天下雨，那么我和他出现了分歧，必然我和他只能有一个人是对的，但如果明天不下雨，那我俩都是对的。
:     这里反直观的地方是我们把日常的经验带到了这个逻辑问题中。我们会觉得“若下雨则拥堵”和“若下雨则不拥堵”这两个不可能同时对啊，我们会有这样的直观是因为现实世界中下雨是一件有可能发生的事情。一件有可能发生的事情不应该推出两件矛盾的事情。而如果我们严格按逻辑分析，“若下雨则拥堵”和“若下雨则不拥堵”是可以同时成立的，同时成立的情况就是“不下雨”。就是说如果这个世界永远不可能下雨，那么从一个不可能的前提推出任何结论都是可以接受的。
--
FROM 221.218.138.*