Xét hai mệnh đề: P: “Tam giác $ABC$ vuông tại $A$” và Q: “$A{B}^2+A{C}^2=B{C}^2$”. Phát biểu mệnh đề $P\iff Q$?

(AI giải đề cho tôi)
Theo định lí Pythagoras, tam giác vuông tại $A$ thì $A{B}^2+A{C}^2=B{C}^2$ (P ⇒ Q), và ngược lại nếu $A{B}^2+A{C}^2=B{C}^2$ thì tam giác vuông tại $A$ (đảo lí Pythagoras, Q ⇒ P). Vậy $P\iff Q$: tam giác $ABC$ vuông là điều kiện cần và đủ để $A{B}^2+A{C}^2=B{C}^2$. Khớp đáp án nguồn B.