中讨论了蕴涵规则
在[4]中讨论了蕴涵规则(implication rule),规则的蕴涵强度在[0,崀之间变化,其中蕴涵强度为1表示完全无关的规则,栀示完备的规则,如果蕴涵强度大于1则表示更大的期望存在...
这一规则暗示着不可能从类自身派生出一个类。
Constrained IF implication logic is also constructed by directly setting up a constrained IF implication connective and its tableau rule.我们还通过直接设置限定信息流蕴涵算子及其树图规则构造出限定信息流蕴涵逻辑。
Corresponding to the mathematical characteristics of the analytical solution, the physical implication and the fluctuation rule of groundwater level are discussed.根据解的数学特征,讨论其对应的物理意义和潜水位变动规律。