interpretive rule
... interpretive research 解释性调研 interpretive routine 解释程序; 解释例行程序 interpretive rule 语义解释规则 ...
基于2个网页-相关网页
将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。
Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.
youdao
应用推荐
模块上移
模块下移
不移动