你举的命题，本身就是含糊的。
找一个清晰的、必然的命题，结论也就清楚了。

【 在 zhanghaoX (环顾四方有效) 的大作中提到: 】
:     下面视频的开头一段
:     https://www.bilibili.com/video/BV1KW411W7oN?p=21
:    “若下雨，则拥堵”为真，那么“若下雨，则不拥堵”是真是假？ 为什么？
: ...................
--
FROM 139.209.161.*

命题本身需要有意义。
比如举一个命题：如果他是一名厨师，那他会是一名好将军……
这样的命题有意义吗？
你这个例子的命题本身就是含糊的。

【 在 zhanghaoX (环顾四方有效) 的大作中提到: 】
: 因为 假言等价于或者 ：  A-->B   等价于  A V B ， 则 A 和B中有一个为T 则 （ A V B）为 T ，
:  所以 设A为下雨，B为拥堵 ，则有附件的表（显示正常吗？请点开图片看完整的表格）。
: 得出 “若下雨，则拥堵"为真，则“若下雨，则不拥堵”为假。
: ...................
--
修改:Hihere FROM 139.209.161.*
FROM 139.209.161.*

如果A，得到B，表示A和B之间存在着条件性的因果关系。
不是随便找两个命题搭配在一起都可以。
比如：
如果上帝发怒，那么我会成为一名图书编辑。
如果今天早上你打了一个喷嚏，明天太平洋那边就会发生一次海啸。
……

【 在 upndown (每天锻炼2小时为祖国健康工作100年) 的大作中提到: 】
: 什么叫意义？如果A，那么B，你告诉我A和B的意义是什么？
--
FROM 139.209.161.*

数理逻辑描述的是类型于数学中的语句，与实际中差别很的。

【 在 peniy (LifeFree) 的大作中提到: 】
: 数理逻辑这是基本操作吧。完全没有问题啊。
--
FROM 139.209.161.*

当然需要了。
假定，前提和结论之间是充分必要关系。那么这个问题不就是很显然了吗？
数理逻辑建立在一些公理化命题形式的基础之上，和这种生活中的问题是有着明显的不同的。
【 在 zhanghaoX 的大作中提到: 】
:   只是从逻辑判断的 角度考虑，需要确定这样的必然关系吗？
:
:
: ...................
--来自微水木3.5.5
--
修改:Hihere FROM 139.209.161.*
FROM 139.209.161.*