Logical Equivalences of Statements