In logic and mathematics, two statements are logically equivalent if they can prove each other (under a set of axioms), or have the same truth value under all circumstances. In propositional logic, two statements are logically equivalent precisely when their truth tables are identical. To express logical equivalence between two statements, the symbols formula_1, formula_2 and formula_3are often used.