according to the code of Mathematical Logic, there exists more properties, one of its principles is the consequence and effects property, or the so-called equivalence implicationwhich is defined as follows:Two expressions A and B are equivalent if A can produce B, and B can produce A. It means A implies B and B implies A.