可能你是对的。

能否 从：
下雨 --> 拥堵  

得到：
下雨 --> 不拥堵 为假
呢？


相当于求：(下雨 --> 拥堵   ) --> !(下雨 --> 不拥堵 ) 是否为恒真式。

经过我编程计算，发现结论是：否。

其中真值表为：
(下雨=0,拥堵=0)=>0
(下雨=0,拥堵=1)=>0
(下雨=1,拥堵=0)=>1
(下雨=1,拥堵=1)=>1



附程序：

        var a1 = nilnul.bit.var.set.NamingContext.Create1("下雨");

            var a2 = nilnul.bit.var.set.NamingContext.Create1("拥堵");


            var rain_imply_jam= new nilnul.bit.expr_.call_.binary_.Imply(
                
                a1,
                
                a2
            ) ;

            var rain_imply_nonJam= new nilnul.bit.expr_.call_.binary_.Imply(

                
                a1,
                
                new nilnul.bit.expr_.call_.unary_.Not(a2)
            ) ;

            var not__rain_imply_nonJam= new nilnul.bit.expr_.call_.unary_.Not(

                
                rain_imply_nonJam
            ) ;

        


            var expr = new nilnul.bit.expr_.call_.binary_.Imply(


                rain_imply_jam
                ,
                not__rain_imply_nonJam    
                
            );


            var isTauto = nilnul.bit.expr.be_.Tauto1.Be(expr);

            Debug.WriteLine($"{nameof(isTauto)}: {isTauto}");


【 在 gloop 的大作中提到: 】
: 只看你的两张真值表的头两行。不下雨的时候，“若下雨，则拥堵”和“若下雨，则不拥堵”同时为真，哪里有正好相反？
--
修改:a0123456789q FROM 183.95.135.*
FROM 183.95.135.*