go top

rule of replacement 添加释义

网络释义英英释义

  替换原理

命题公式的替换原理(rule of replacement) 将命题公式A中的子公式C的部分出现替换为和C逻辑等价的公式D(C╞╡D ),得到的命题公式记作B,则A╞╡B。

基于16个网页-相关网页

  替换规则

替换规则(Rule of Replacement) 设有恒等式A B, 若在公式C中出现A的地方, 替换以B(不必 每一处)而得到公式D, 则C D。

基于14个网页-相关网页

Rule of replacement

  • abstract: In logic, a rule of replacementMoore and Parker is a transformation rule that may be applied to only a particular segment of an expression. A logical system may be constructed so that it uses either axioms, rules of inference, or both as transformation rules for logical expressions in the system.

以上来源于: WordNet

双语例句权威例句

  • One handy example is the replacement of the slide rule by the pocket calculator.

    一个简便事例袖珍计算器代替计算尺

    youdao

  • If the replacement cost of an item in the inventory is lower than its cost, the use of the lower of cost or market rule provides two advantages...

    如果存货重置成本低于成本,使用成本市价原则两个优点…。

    youdao

  • Arsenal want to have Gallas settled and focused for the rest of the season and are keen to avoid chasing an expensive replacement in the summer for the sake of a club rule.

    阿森纳希望加拉安定下来专注余下赛事,因为这家俱乐部传统习惯,他们竭力避免夏季追逐一个昂贵替代者

    youdao

更多双语例句
  • But Clegg, who was appointed by owner Marcus Evans this week and is the former chief executive of the British Olympic Association, refused to rule out a quick decision over a permanent replacement.

    BBC: Magilton sacked as Ipswich boss

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定