中医证候理论内蕴的数学逻辑关系研究--兼论“证素”研究的伪命题特征＊

通过研究中医证候理论中的数学逻辑关系发现，辨证过程中作为判定证候的3个基本要素的病因（a）、病位（b）、病性（c）和证候（z）之间存在着f（z）=a ＋ b ＋ c的数学逻辑关系，证候（z）与症状（zi）之间的数学逻辑关系是f（z）= z1＋z2＋z3＋?＋zi，证候的复杂性体现出的明显特征是症状构成数量的多少。辨证过程中症状与病因、病位和病性以及证候之间的数学逻辑关系式为z1＋z2＋z3＋?＋zi =a＋b＋c= f（z），但是证候的全集则表现出的是点集拓扑结构的非线性关系。经计算，中医79个主要单一证候共有6.5×105多种不同的存在形式，一定范围内证候群的数量约有6.6×10100个左右，这个超级巨大的数据“古戈尔”可能是中医证候复杂性的根结所在。结果表明，“证素”研究所以运用的贝叶斯网络、神经网络等算法以及双层频权剪叉算法，与证候理论内蕴的数学逻辑关系风马牛不相及，因此“证素”是中医基础理论研究中的伪命题特征，其建立起的以“证素”为核心的辨证方法是“虚构”的，根本不符合中医理论内在规律和临床实际。