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

“Nếu tứ giác ABCD là hình bình hành thì tứ giác ABCD có các cạnh đối bằng nhau”.

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

“Nếu tứ giác ABCD có các cạnh đối bằng nhau thì tứ giác ABCD là hình bình hành”.

Ta có tứ giác ABCD là hình hành thì theo tính chất tứ giác ABCD có các cặp cạnh đối bằng nhau. Do đó mệnh đề P ⇒ Q đúng.

Ngược lại ta có tứ giác ABCD có các cặp cạnh đối bằng nhau thì theo dấu hiệu nhận biết tứ giác ABCD là hình hành. Do đó mệnh đề Q ⇒ P đúng.

Từ đó ta có mệnh đề tương đương P ⇔ Q được phát biểu như sau:

“Tứ giác ABCD là hình hành khi và chỉ khi tứ giác ABCD có các cặp cạnh đối bằng nhau”.