Xét hai mệnh đề:

P: “n là số tự nhiên chẵn”;

Q: “n chia hết cho 2”.

Ta có các mệnh đề: P ⇒ Q và Q ⇒ P đều là các mệnh đề đúng. Do đó mệnh đề tương đương P ⇔ Q đúng.

Vậy ta phát biểu điều kiện cần và đủ để số tự nhiên n chia hết cho 2 như sau:

“n là số tự nhiên chẵn là điều kiện cần và đủ để n chia hết cho 2.”