これら規則は概略的なので、この導入規則を解釈すると、"Atrue"から任意の命題pについて"ptrue"であることを導ける場合、Aは偽である（すなわち"notAtrue"）、ということになる。
因为这些规则是模式性的，介入规则的释义为:如果我们可以从“Atrue”推导出“Ptrue”和“¬Ptrue”，就是⊥{\displaystyle\bot}；则A必定为假，也就是“¬Atrue”。