数理逻辑论证形式有效性算法

The Algorithms about Validity of Argument Form in Logic Mathematician

本文讨论了数理逻辑中论证形式有效性的四种判断方法并给出了一种判断有效性的计算机算法。

It discusses the four methods to judge the validity of argument form in logic mathematician in this paper.In the end it gives the algorithms of judging validity of argument form.