消去律

基本的运算法则已经形成，包括加法运算、数乘运算、加法的消去律等。

Basic operation rules have been established , including addition , positive scalar multiplication , cancellation law for addition and so on .

本文证明了任意一个I半群不满足消去律，而且满足消去律的半群的所有真双理想不可能同时都是群。

This ( paper ) showed that an arbitrary I-semigroup is not satisfied with cancellation law and all real-bi-ideal of semigroup satisfied with cancellation law can not be I-semigroups at the same time .

伴侣矩阵的Roth消去律及其应用

Roth Elimination Law of Companion Matrix and Its Application

十条规则包括：逻辑蕴涵联结符的引入律和消去律，积的合成律，和放松假设的次序的熵规则。

The HDS rules include the introduction rule and elimination rule of the logic implication symbol , the composition law of products , and an entropy rule which may relax the order of the discharging of hypotheses .