数理逻辑论证形式有效性算法
The Algorithms about Validity of Argument Form in Logic Mathematician
DOI: 10.12677/PM.2019.93036, PDF,    科研立项经费支持
作者: 刘巧云：青海民族大学，青海 西宁
关键词: 论证形式有效性；真值表；重言式；推理规则；Validity of Argument Form； Truth Table； Tautology； Induction Rules
摘要: 本文讨论了数理逻辑中论证形式有效性的四种判断方法并给出了一种判断有效性的计算机算法。
Abstract: 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.
文章引用：刘巧云. 数理逻辑论证形式有效性算法[J]. 理论数学, 2019, 9(3): 276-281. https://doi.org/10.12677/PM.2019.93036

参考文献

[1] Hamilton, A.G. Logic for Mathematicians (Revised Edition). 北京: 清华大学出版社, 2003.
[2] 王礼萍, 等. 离散数学简明教程[M]. 北京: 清华大学出版社, 2005.

为你推荐