含意と否定の規則がよく似ているため、notAとA⊃⊥が等価（互いにもう一方を導出可能）であることは容易にわかる。
因为蕴涵和否定的规则如此的类似，很容易看出¬A和A⊃{\displaystyle\supset}⊥是等价的，就是可以相互推导的。