从前提根据有效论证的基本形式直接演绎出结论,这种证明论证有效性的方法被称为。