Logical equivalence

In logic and mathematics, two statements are logically equivalent if they can prove each other (under a set of axioms),[1] or have the same truth value under all circumstances. In propositional logic, two statements are logically equivalent precisely when their truth tables are identical.[2] To express logical equivalence between two statements, the symbols ${\displaystyle \equiv }$, ${\displaystyle \Leftrightarrow }$ and ${\displaystyle \iff }$are often used.[3][4]