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

通过研究中医证候理论中的数学逻辑关系发现,辨证过程中作为判定证候的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个左右,这个超级巨大的数据"古戈尔"可能是中医证候复杂性的根结所在。结果表明,"证素"研究所以运用的贝叶斯网络、神经网络等算法以及双层频权剪叉算法,与证候理论内蕴的数学逻辑关系风马牛不相及,因此"证素"是中医基础理论研究中的伪命题特征,其建立起的以"证素"为核心的辨证方法是"虚构"的,根本不符合中医理论内在规律和临床实际。