Logical Equivalences Meaning