要检验一个命题是否蕴涵另一个命题,只需要看推导过程中是否有矛盾。（)

假言判断是断定一个事物情况的存在是另一个事物情况存在的条件的命题，假言推理是指大前提

假言判断是断定一个事物情况的存在是另一个事物情况存在的条件的命题，假言推理是指大前

一个命题为真是另一个命题为真的充分条件的命题是（)。A 充分命题B 条件命题C 假言命题D 直言命

等值规则不允许用一个等值命题替换另一个命题。（)

条件命题是指一个命题为真是另一个命题为真的充分条件的命题。（)

下列命题“如果一个平面经过另一个平面的一条垂线 那么这两个平面互相垂直” “如果两个平面互相