Most of the classical identities are only theorems of intuitionistic logic in one direction, although some are theorems in both directions.
Більшість класичних тотожностей є лише теоремами інтуїтивної логіки в одному напрямку, хоча деякі є теоремами в обох напрямках.