数学命题证明形式的逻辑分析和判定

The Logical analysis and Judgment on the Proving Form of mathematical Propositions

数学命题的证明步骤是由已知条件逐步推演形成的系统。我们完全可以把这些推演过程转化成为真值形式构成若干推理的前提,然后把这些前提合取并与之导出的结论构成数理逻辑蕴涵式。如果能证明该蕴涵式为重言式,那么其数学命题的证明推理形式就是正确的。

The proving procedures of mathematical propositions construct the system deduced progressively from known conditions. We can certainly convert these deducing processes into truth forms, constituting the prerequisites of several reasonings, and then combine the prerequisite conjunction and the conclusion deduced into containing type of mathematical logic, ff the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.