One implication of this rule is that it is impossible to derive a class from itself.
这一规则暗示着不可能从类自身派生出一个类。
2
Constrained IF implication logic is also constructed by directly setting up a constrained IF implication connective and its tableau rule.
我们还通过直接设置限定信息流蕴涵算子及其树图规则构造出限定信息流蕴涵逻辑。
3
Corresponding to the mathematical characteristics of the analytical solution, the physical implication and the fluctuation rule of groundwater level are discussed.