论文部分内容阅读
从新的角度考察了自蕴涵方程的特点，认为自蕴涵方程是一种具有“主观”和“客观”两方面特性的特殊逻辑方程，从这一观点出发提出并证明了求解自蕴涵方程的变形定理、求解定理和推理实理，进一步经出了求解自蕴涵方程的一种十分的效的新方法－－－辗转相乘法，这种方法把逻辑推理变成了逻辑运算，使得方程中只要有一个变量是已知的，就可以求出所有其他的求知变量。