符号

含义

R₁

$\frac{\text{A}|\equiv \text{A}\stackrel{K}{\leftrightarrow }\text{B},\text{A}⊲{\left\{X\right\}}_K}{\text{A}|\equiv \text{B}|~X}$

R₂

$\frac{\text{A}|\equiv \#X,\text{A}|\equiv \text{B}|~X}{\text{A}|\equiv \text{B}|\equiv X}$

R₃

$\frac{\text{A}|\equiv \text{B}|\Rightarrow X,\text{A}|\equiv \text{B}|\equiv X}{\text{A}|\equiv X}$

R₄

$\frac{\text{A}|\equiv \text{B},\text{B}|\equiv X}{\text{A}|\equiv \text{B}|\equiv X}$