命题公式的替换原理(rule of replacement) 将命题公式A中的子公式C的部分出现替换为和C逻辑等价的公式D(C╞╡D ),得到的命题公式记作B,则A╞╡B。
基于16个网页-相关网页
以上来源于: WordNet
One handy example is the replacement of the slide rule by the pocket calculator.
一个简便的事例是用袖珍计算器代替计算尺。
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...
如果某项存货的重置成本低于其成本,使用成本与市价孰低原则有两个优点…。
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.
阿森纳希望加拉安定下来,专注于余下赛事,因为这家俱乐部的传统习惯,他们竭力避免在夏季追逐一个昂贵的替代者。
应用推荐