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

Through the study on mathematical logic relation in the syndrome theory of traditional Chinese medicine (TCM), it revealed that the mathematical logic relation among three basic elements in the judgment of syndromes, which were the disease cause (a), disease location (b), disease nature (c) and syndrome (z), was f(z)=a＋b＋c. The mathematical logic relation between syndrome (z) and symptom (zi) was f(z)= z1＋z2＋z3＋…＋zi. The obvious feature reflected by the complexity of syndromes was the construction number of symptoms. During the syndrome differentiation process, the mathematical logic relation between symptom and disease cause, location, nature and syndrome was z1＋z2＋z3＋…＋zi =a＋b＋c= f(z). However, syndromes generally exhibited a nonlinear relationship of point-set topology. After calculation, 79 major single TCM syndromes had a total of more than 6.5×105 different forms. The number within a certain range of syndrome group was approximately 6.6×10100. The super huge data “Googol” may be the root of complex TCM syndromes. The results showed that the researches on “element of syndrome” using the bayesian networks, the neural network algorithm and the algorithm of double levels of frequency power were irrelevant to the mathematical logic relation of the intrinsic relations of syndrome theory. Therefore, “element of syndrome” was a false proposition feature in the study of TCM basic theory. The established syndrome differentiation method with “element of syndrome” as its core was not conformed to the inherent law of TCM theory and clinical practice.

国家自然科学基金委面上项目（81273628）：脾胃证候动态演化子集合衍生规律与治法方药精准对应规律研究，负责人：孙喜灵；山东省科技厅科技发展计划项目（2012GSF11904）：中医心脾系证候群子集合衍生规律与对应方药变化规律研究，负责人：孙喜灵。