要检验一个命题是否蕴涵另一个命题，只需要看推导过程中是否有矛盾()错误三段论的有效性证明只需要对大项做出预设()错误一般量化理论在具体进行例示时，全称例示和存在例示都必须总是涉及到管辖了这个命题其它部分的()D•A