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

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

判断题 命题“P蕴含Q”表示P合取非Q是可以成立的。