填空题 在谓词自然推理过程中，只要 1就能利用命题推理规则， 2就能还原为谓词公式。