Cho định lí: “\(\forall x \in \mathbb{R},x \in \mathbb{Z}\) nếu và chỉ nếu \(x + 1 \in \mathbb{Z}\)”.
Phát biểu lại định lí này sử dụng thuật ngữ “điều kiện cần và đủ”.
Mệnh đề trên có dạng “P nếu và chỉ nếu Q”, là một mệnh đề tương đương.
Có thể phát biểu là: “P là điều kiện cần và đủ để có Q” (hoặc “Q là điều kiện cần và đủ để có P”)
Advertisements (Quảng cáo)
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}\)”