What Is Logical Equivalence In Math