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

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

判断题 存在例示应当在全称例示之前进行。