Xét hai mệnh đề:
P: “Số tự nhiên n chia hết cho 2”
Q: “n là số tự nhiên chẵn”
Ta có: mệnh đề \(P \Rightarrow Q\) và mệnh đề \(Q \Rightarrow P\) đều đúng. Vậy mệnh đề tương đương\(P \Leftrightarrow Q\) đúng.
Phát biểu dưới dạng cần và đủ: “n là số tự nhiên chẵn là điều kiện cần và đủ để có số tự nhiên n chia hết cho 2”