Cho tam giác ABC. Xét mệnh đề dạng P ⇒ Q như sau

Ta có:

P ⇒ Q: “Nếu tam giác ABC vuông tại A thì tam giác ABC có AB2 + AC2 = BC2”.

Khi đó, P: “Tam giác ABC vuông tại A” và Q: “Tam giác ABC có AB2 + AC2 = BC2”.

Vậy mệnh đề Q ⇒ P: “Nếu tam giác ABC có AB2 + AC2 = BC2 thì tam giác ABC vuông tại A”.

Cả hai mệnh đề P ⇒ Q và Q ⇒ P đều là mệnh đề đúng (theo định lí Pythagore).