Xét hai mệnh đề:
P: “Tứ giác ABCD là hình vuông”;
Q: “Tứ giác ABCD là hình chữ nhật có hai đường chéo vuông góc với nhau”.
a) Phát biểu mệnh đề P ⇒ Q và mệnh đề đảo của nó.
b) Hai mệnh đề P và Q có tương đương không? Nếu có, sử dụng thuật “điều kiện cần và đủ” hoặc “khi và chỉ khi” để phát biểu định lí P ⇔ Q.