根据形式演绎方法,如果结论能够被通过使用()从给定前提中一步一步地演绎出来,那么这个论证被表明是有效的。