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ó $\widehat{A}={90}^0$ thì $\widehat{B}+\widehat{C}={180}^0-{90}^0={90}^0=\widehat{A}$.

Nếu tam giác ABC có $\widehat{A}=\widehat{B}+\widehat{C}$

Ta có: $\widehat{A}+\widehat{B}+\widehat{C}={180}^0$

$\iff \widehat{A}+\widehat{A}={180}^0$

$\iff \widehat{A}={90}^0$

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

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