1) Inference closure
推理闭包
2) reasoning closure operator
推理闭包算子
1.
The reasoning closure operator with its induced space;
推理闭包算子及其诱导的空间
3) reasoning space
推理闭包空间
1.
Aim To propose the theory of closed field of conclusion and reasoning space on a usual set,and to study thier primary properties.
方法通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭包算子建立拓扑空间的思想提出了推理闭包空间理论。
4) closure axiom
闭包公理
5) subsumption reasoning
包含推理
6) closure axioms of Kuratowski
Kuratowski闭包公理
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条