A、如果前提假且形式无效，则结论一定假。
B、如果有前提假而形式有效，结论一定假。
C、如果前提都真而形式有效，结论一定真。
D、如果结论真且形式有效，则前提一定真。
E、如果结论假且前提都真，则形式一定无效。
“一个推理只有形式正确，才能得出可靠的结论，这个推理结论不可靠，所以这个推理形式不正确。”这个假言推理使用了（）
A、正确的否定后件式
B、错误的否定后件式
C、正确的否定前件式
D、错误的否定前件式
所有的安西人都是素食主义者，而所有的镇远人都是禁欲主义者，禁欲主义者与素食主义者形同水火、势不两立。郭竖是禁欲主义者，由此可见（）
A、郭竖是镇远人
B、郭竖不是镇远人
C、郭竖是安西人
D、郭竖不是安西人
A、“战争”限制为“革命战争”
B、“单独概念”概括为“概念”
C、“大熊猫”限制为“可爱的大熊猫”
D、“汽车”限制为“汽车轮子”
E、“出租汽车公司”限制为“出租汽车司机”
作为万物之灵，人同样是有性别的动物，分为男人和女人。这句话对于概念“人”来说（）
A、明确了内涵，但没有明确外延
B、没有明确内涵，但明确了外延
C、明确了内涵，并且明确了外延
D、没有明确内涵，并且没有明确外延