1) Valuation of set of formulas variable
公式变元集的赋值
2) Evaluation on Variable Set
变元集赋值
3) axiom of assignment
赋值公理
4) valuationally decided formula question
赋值决定公式问题
1.
The valuationally decided formula question (briefly, VDF question) has been proposed and solved in classical 2-valued propositional logic and Lukasiewicz 3-valued propositional logic, which are non-fuzzy versions of fuzzy modus ponens in classical logics.
为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已于二值命题逻辑以及三值Lukasiewicz命题逻辑中得到了解决,但当w>3时,VDF问题相当复杂且尚未解决。
5) assigned variable
赋值变量
补充资料：脏腑通元赋
脏腑通元赋
中医脏腑著作。唐张文懿撰。1卷。出《唐书·艺文志》。今佚。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条