单项选择题 以下表述不是矛盾关系的是（）。

判断题 三段论的有效性证明只需要对大项做出预设。

单项选择题 检验一个命题是否蕴含另一个命题，我们需要把一个命题当做前提，把另一个命题的（）当做另一个前提，看是否能推出矛盾。