Cho các mệnh đề:
P: “Tam giác ABC là tam giác vuông tại A”
Q: “Tam giác ABC có các cạnh thỏa mãn \(A{B^2} + A{C^2} = B{C^2}\)”
a) Hãy phát biểu các mệnh đề: \(P \Rightarrow Q,Q \Rightarrow P,P \Leftrightarrow Q,\overline P \Rightarrow \overline Q .\) Xét tính đúng sai của các mệnh đề này.
b) Dùng các khái niệm “điều kiện cần” và “điều kiện đủ” để diễn tả mệnh đề \(P \Rightarrow Q\)
c) Gọi X là tập hợp các tam giác ABC vuông tại A, Y là tập hợp các tam giác ABC có trung tuyến \(AM = \frac{1}{2}BC\). Nêu mối quan hệ giữa hai tập hợp X và Y.