若“A可以分为 B、C”是一个正确的划分，则 B与C的外延间一定是（）
A、全异关系
B、反对关系
C、交叉关系
D、矛盾关系
E、相容关系
选言证法是通过先论证与原论题相关的其他可能性的论断都不能成立，然后确定论题真的一种间接论证方法。其依据的是（）
A、选言推理的否定肯定式
B、充分条件假言推理的肯定前件式
C、必要条件假言推理的否定前件式
D、联言推理的合成式
“法律规定凡男女双方自愿离婚的准予离婚，这起离婚案已依法判决准予离婚，可见该案男女双方是自愿离婚的。”上述议论中包含何种推理?写出推理形式，并说明其是否有效。
A、明天不可能没有雾霾
B、并非明天可能有雾霾
C、明天可能有雾霾
D、并非明天必然没有雾霾
E、明天必然没有雾霾
“p←q”中，p判断与q判断之间的逆蕴涵关系是（）
A、对称且传递
B、非对称且传递
C、反对称且传递
D、反对称且反传递