...性 ， 代入规则 ， 全称概括规则 ， 必然化规则 [gap=12348]Keywords: completeness; soundness; the rule of substitution; generalization rule; necessitation ...
基于156个网页-相关网页
...； (2)公式形成规则(formation rule of wffs)：规定合法的公式； (3)括号省略的原则：缩写约定； (4)代入规则(substitution rule)：代入的原则及为保持这一原则 所作的规定； (5)其它语法概念：为涉及的其它语法问题所作的规定。
基于12个网页-相关网页
应用推荐