结合规则

在逻辑学中, 结合规则是指语境的构造的结合律, 写成推导规则如下:$$\frac{(\Gamma ,A),B⊢C}{\Gamma ,(A,B)⊢C}\frac{\Gamma ,(A,B)⊢C}{(\Gamma ,A),B⊢C}$$不同于其它结构性规则, 结合规则往往总是成立.

术语翻译

结合规则 • 英文 associativity rule