中医辨证形式化描述初探

以肝郁脾虚证为例,用数理逻辑、模糊数学、集合论等数学基础知识对中医辨证作形式化描述,并推导出中医辨证数理模型。