logic semantic restriction
logic semantic restriction
逻辑语义限制
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
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
更多双语例句