填空题 命题自然推理的主要特征是应用推理规则，通过引入假设而推出形式结论，因此又称这种推理为 1。