Mệnh đề trên có dạng “P nếu và chỉ nếu Q”, là một mệnh đề tương đương với P: “\(x \in \mathbb{Z}\)” và Q: “\(x + 1 \in \mathbb{Z}\)” (\(x \in \mathbb{R}\))
Phát biểu:
“\(\forall x \in \mathbb{R},x \in \mathbb{Z}\) là điều kiện cần và đủ để có \(x + 1 \in \mathbb{Z}\)”
Hoặc “\(\forall x \in \mathbb{R},x + 1 \in \mathbb{Z}\) là điều kiện cần và đủ để có \(x \in \mathbb{Z}\)”