一个假言判断的质疑

统编高中《语文》第一册在讲到《复合判断》时,出了这样一道练习:‘如果天上有黑云,今天就会下雨。’不少语文参考资料认为,那是一个必要条件的假言判断,应改成‘有天上有黑云,今天才会下雨。’我不能苟同这种意见。我们不妨分析一下:‘只有天上有黑云(A),今天才会下雨(B)’这句话,是否符合必要条件假言判断的定义。必要条件假言判断的定义是:‘在有A未必有B,无