%0 Journal Article
%T 数理逻辑论证形式有效性算法<br>The Algorithms about Validity of Argument Form in Logic Mathematician
%A 刘巧云
%J Pure Mathematics
%P 276-281
%@ 2160-7605
%D 2019
%I Hans Publishing
%R 10.12677/PM.2019.93036
%X <div style=\"text-align:justify;\">
	本文讨论了数理逻辑中论证形式有效性的四种判断方法并给出了一种判断有效性的计算机算法。<br />
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.
</div>
%K 论证形式有效性，真值表，重言式，推理规则<br>Validity of Argument Form
%K Truth Table
%K Tautology
%K Induction Rules
%U http://www.hanspub.org/journal/PaperInformation.aspx?PaperID=30087