a)
+) P => Q: Nếu tam giác ABC là tam giác vuông tại A thì tam giác ABC có các cạnh thỏa mãn AB2 + AC2 = BC2.
+) Q => P: Nếu tam giác ABC có các cạnh thỏa mãn AB2 + AC2 = BC2 thì tam giác ABC là tam giác vuông tại A.
+) P <=> Q: Tam giác ABC là tam giác vuông tại A khi và chỉ khi tam giác ABC có các cạnh thỏa mãn AB2 + AC2 = BC2.
+) $\overline{P}$ => $\overline{Q}$: Nếu tam giác ABC không là tam giác vuông tại A thì tam giác ABC có các cạnh thỏa mãn AB2 + AC2 $\neq $ BC2.
b)
+ Tam giác ABC là tam giác vuông tại A là điều kiện đủ để tam giác ABC có các cạnh thỏa mãn AB2 + AC2 = BC2.
+ Tam giác ABC có các cạnh thỏa mãn AB2 + AC2 = BC2 là điều kiện cần để tam giác ABC là tam giác vuông tại A.
c) Vì nếu tam giác ABC có trung tuyến $AM=\frac{1}{2}BC$ thì tam giác ABC vuông tại A.
Nên tập hợp X = Y.