Given two propositions P and Q, the identity of P and Q, noted as P ⇔ Q or “P if and only if Q”, is the new proposition that is true if and only if the biconditional P ↔ Q is a tautology.
The logical identity is also called logical equivalence and so the propositions P are Q are said to be equivalent.