单项选择题
检验一个命题是否蕴含另一个命题，我们需要把一个命题当做前提，把另一个命题的（）当做另一个前提，看是否能推出矛盾。
A.必要条件命题 B.充分条件命题 C.否定命题 D.等值命题
判断题 存在例示应当在全称例示之前进行。
判断题 命题“P蕴含Q”表示P合取非Q是可以成立的。
判断题 任何一个包括全称命题的析取式都可以用一个全称量词管辖整个析取命题来取代。
