推理是从前提推出结论的思维过程，（）是指已知的命题公式，（）是指从前提出发应用推理规则推出的命题公式。

推理是从前提推出结论的思维过程，（）是指已知的命题公式，（）是指从前提出发应用推理规则推出的命题公式。
正确答案：前提|结论