Giả sử ABC là một tam giác đã cho. Lập mệnh đề P ⇒ Q và mệnh đề đảo của nó, rồi xét tính đúng sai của chúng với P: Góc A bằng 90 ∘ , Q: " BC^ 2 = AB ^2 + AC ^2 " .

Với tam giác ABC đã cho, ta có

\((P \Rightarrow Q)\): “Nếu góc A bằng \({90^o}\) thì \(B{C^2} = A{B^2} + A{C^2}\)” là mệnh đề đúng.

\((Q \Rightarrow P):\) “Nếu \(B{C^2} = A{B^2} + A{C^2}\) thì \(\hat A = {90^o}\)” là mệnh đề đúng.