recall that two statements a and b are called logically equivalent if both a implies b and b implies a. prove that logical equivalence is an equivalence relation.