Cho tam giác ABC. Từ các mệnh đề P: “Tam giác ABC có hai góc bằng 60o ” Q: “ABC là một tam giác đều” Hãy phát biểu định lí P ⇒ Q. Nêu giả thiết, kết luận và phát biểu lại định lí này dưới dạng điều kiện cần, điều kiện đủ.