Xét hai mệnh đề: P: “Hai tam giác ABC và A’B’C’ bằng nhau”; Q: “Hai tam giác ABC và A’B’C’ có diện tích bằng nhau”. a) Phát biểu mệnh đề P ⇒ Q. b) Mệnh đề P ⇒ Q có phải là một định lí không? Nếu có, sử dụng thuật ngữ “điều kiện cần”, “điều kiện đủ” để phát biểu định lí này theo hai cách khác nhau.