本文讨论了数理逻辑中论证形式有效性的四种判断方法并给出了一种判断有效性的计算机算法。
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.
References
[1]
Hamilton, A.G. Logic for Mathematicians (Revised Edition). 北京: 清华大学出版社, 2003.
