对于a、b两个概念，如果有的a是b，有的a不是b，而且，有的b是a，有的b不是a，那么，a、b两个概念具有（）
A、全同关系
B、真包含于关系
C、交叉关系
D、全异关系
选言证法是通过先论证与原论题相关的其他可能性的论断都不能成立，然后确定论题真的一种间接论证方法。其依据的是（）
A、选言推理的否定肯定式
B、充分条件假言推理的肯定前件式
C、必要条件假言推理的否定前件式
D、联言推理的合成式
A、前者是后者的充分条件
B、前者是后者的必要条件
C、前者是后者的充分必要条件
D、前者和后者不构成条件关系
在下列各式的括号内填入适当的符号，使之成为有效的三段论式。
古希腊学者克拉底鲁说：“一切命题都是假的。”亚里士多德反驳说：“如果一切命题都是假的，那么这个‘一切命题都是假的’也是假的。”亚里士多德的反驳用的是()。
A、直接反驳
B、间接反驳
C、归谬法
D、类比反驳
E、归纳反驳