MỆNH ĐỀ TƯƠNG ĐƯƠNG

5. Mệnh đề tương đương: Cho hai mệnh đề P và Q. Mệnh đề "P nếu và chỉ nếu Q" đgl mệnh đề tương đương và kí hiệu là P  Q. Mệnh đề P  Q đúng khi và chỉ khi cả hai mệnh để P  Q và Q  P đều đúng.Chú ý: Nếu mệnh đề P  Q là một định lí thì ta nĩi P là điều kiện cần và đủ để cĩ Q.