论文部分内容阅读
本文借用逻辑图原理和算法语言的方式,建立了数学上的证法语言,利用它借用手编程序的方式,编出证明定理或命题的框图。
This paper borrows the logic diagram principle and algorithmic language to establish a mathematical proofing language and make use of it to borrow the way of programming to make a block diagram of proof theorem or proposition.