标签：A真，下降B假，下降C真，不变D假，为假我们可以通过添加（），构成（A）论证的方式来发现隐藏前提