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.