Sử dụng các thuật ngữ “điều kiện cần”, “điều kiện đủ”, “điều kiện cần và đủ” và cặp

Ta có khi P đúng thì Q cũng đúng. Do đó, mệnh đề P ⇒ Q là mệnh đề đúng.

Vậy ta có phát biểu: “Với a và b là hai số thực nào đó, a = b là điều kiện đủ để a² = b²” (hoặc “a² = b² là điều kiện cần để a = b”).