Logical Equivalence In Math