Most of the classical identities are only theorems of intuitionistic logic in one direction, although some are theorems in both directions.
多数经典恒等式只是直觉逻辑中在一个方向上的定理，尽管某些定理是两个方向的。