大家好,小钱来为大家解答以上的问题。形式论证，关于形式论证介绍这个很多人还不知道,现在让我们一起来看看吧！

1、 形式论证(formal argument)亦称“形式推理”、“形式证明”。

2、指的是在一个逻辑系统τ内，如果有一合式公式的有穷序列A1，A2……An-1，An。

3、其中的每一项或是系统内的公理，或是由序列中的先前公式根据系统的变形规则而得到的，那么，这个合式公式的有分序列就是τ系统内的一个形式论证。

4、 其中的A1，A2……An-1称作该形式论证的前提，An则称作该形式论证的结论。

5、  。

关于形式论证到此分享完毕，希望能帮助到您。