心氣虛,則脈細;肺氣虛,則皮寒;肝氣虛,則氣少;腎氣虛,則泄利前後;脾氣虛,則飲食不入。
-
数理逻辑
是用数学方法研究关于推理、证明等逻辑问题特别是数学中的逻辑问题的一门学科。最早提出数理逻辑思想的是德国的莱布尼兹,后经布尔、弗雷格、哥德尔等人的发展,于20世纪30年代形成为一门独立的学科。在中医现代研究中数理逻辑的应用日益深入,特别在中医智能电子计算机系统的研制中,数理逻辑是不可缺少的工具和方法。
-
逻辑方法
逻辑方法是人们在逻辑思维过程中,遵循逻辑规律、规则以形成概念、作出刿断、进行推理的方法。形式逻辑方法有抽象,概括、比较、分类、类比、归纳、演绎等传统逻辑方法,亦即普通逻辑的方法;辩证逻辑方法主要有分析与综合相结合的方法,从抽象上升到具体的方法、逻辑的与历史的相统一的方法等。