[00020510]辩证逻辑的一个数学模型

　　智能化自动技术依赖于辩证逻辑的数学模型，以往辩证逻辑的数学模型化是逻辑学的一大难题。迄今为止，进入计算机的不过是形式逻辑（布尔代数）外加模拟量的PID控制技术。这正是“电脑的智商不如人脑”的困局所在。

　　本人建立了一个辩证逻辑的关联矩阵模型，并运用广义Kirchoff定律，使辩证逻辑可以很容易的被计算机所处理。同时，本人还证明了：形式逻辑不过是辩证逻辑的一个退化型的特例。

　　辩证逻辑的数学化将是人工智能自动化的一大利器，其经济价值无可估量！

　　本人欲出售该成果的署名权，开发权。如有意，请与我联系。

　　附录：辩证逻辑的一个数学模型

　　目录

　　1，基本定义

　　2，逻辑加法定理

　　3，逻辑乘法定理

　　4，De Morgan定理

　　5,逻辑能(逻辑功率)守恒定理

　　6，逻辑的关联矩阵表示法及图表示法定义

　　7，广义Kirchoff流函数定理

　　8，广义Kirchoff势函数定理

　　9，隔离定理

　　10,收缩_扩张定理

　　11，逻辑变换中的动点与不动点

　　12:，第一类模型（政治，军事，经济，社会等的博弈性模型）

　　13，第二类模型（自然科学用）知因探果法

　　14，第三类模型（自然科学用）知果探因法

　　15，第四类模型（工程技术用）消除问题探索法

　　16，自然归纳法

　　17，自然演绎法

　　18，类比法

　　19，极大极小原理（墨子定律）

　　20，客观眞理与主观眞理之间的误差

　　21，主观眞理对客观眞理的震荡收敛性

　　22，概念及命名

　　23，矛盾的无限可分性

　　24，矛盾分析的简化定律

　　24，否定之否定定律

　　25，矛盾性质决定矛盾的解决方法

　　27，思维惯性定律

　　28，客观规律的连续性，离散型，凹凸性，单调性，周期性与非周期性

　　29，量变与质变，质变与量变

　　30，具象逻辑禁止进计算机

　　31，连续无限性与离散无限性