Cho hai câu sau: P: “Tam giác ABC là tam giác vuông”; Q: “Tam giác ABC có một góc bằng

Mệnh đề tương đương P ⇔ Q được phát biểu như sau:

“Tam giác ABC là tam giác vuông khi và chỉ khi tam giác ABC có một góc bằng tổng hai góc còn lại”.

Nếu tam giác ABC có A^=900 thì B^+C^=1800−900=900=A^.

Nếu tam giác ABC có A^=B^+C^

Ta có: A^+B^+C^=1800

⇔A^+A^=1800

⇔A^=900

Suy ra tam giác ABC vuông tại A.

Vì P⇒Q đúng và Q⇒P đúng nên mệnh đề Q ⇔ P là đúng.

Do đó mệnh đề trên là mệnh đề đúng.