现在有四个命题
A：下雨
B：拥堵
C：若A则B
D：若A则非B
现在的问题是，已知C成立，问D是否成立
这里的问题跟AB是否成立根本没关系
只要看，能不能从C推出D就可以？
这俩命题可以互相推出吗？不能，这俩命题逻辑上根本就没有关系
所以就是不确定
【 在 zhanghaoX (环顾四方有效) 的大作中提到: 】
: 下面视频的开头一段
:
https://www.bilibili.com/video/BV1KW411W7oN?p=21: “若下雨，则拥堵”为真，那么“若下雨，则不拥堵”是真是假？ 为什么？
: ...................
--
FROM 123.123.130.*