Phát biểu điều kiện cần và đủ để số tự nhiên n chia hết cho 2.
Giải thích
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.”