P ⇔ Q: “Tam giác ABC là tam giác vuông nếu và chỉ nếu tam giác ABC có một góc bằng tổng hai góc còn lại”
Mệnh đề trên đúng.
