MỆNH ĐỀ TƯƠNG ĐƯƠNGNẾU CẢ HAI MỆNH ĐỀ P ⇒ Q VÀ Q ⇒ P ĐỀU ĐÚNG THÌ T...

4. Mệnh đề tương đươngNếu cả hai mệnh đề P ⇒ Q và Q ⇒ P đều đúng thì ta nói P và Q là hai mệnh đề tươngđương và kí hiệu là P ⇔Q.Mệnh đề P ⇔ Q được phát biểu: "P tương đương Q" hoặc "P khi và chỉ khi Q" hoặc"P là điều kiện cần và đủ để có Q".