Ví dụ mệnh đề tương đương Ta có mệnh đề K ⇒ G: “Nếu 45 chia hết cho 15 thì 45 chia hết cho 3 và 5”, đây là mệnh đề đúng. Ngược lại, mệnh đề G ⇒ K: “Nếu 45 chia hết cho 3 và 5 thì 45 chia hết cho 15”, đây là mệnh đề đúng. Như vậy cả hai mệnh đề K ⇒ G và G ⇒ K đều đúng. Ta kết luận mệnh đề K ⇔ G đúng.
Ta có mệnh đề K ⇒ G: “Nếu 45 chia hết cho 15 thì 45 chia hết cho 3 và 5”, đây là mệnh đề đúng. Ngược lại, mệnh đề G ⇒ K: “Nếu 45 chia hết cho 3 và 5 thì 45 chia hết cho 15”, đây là mệnh đề đúng. Như vậy cả hai mệnh đề K ⇒ G và G ⇒ K đều đúng. Ta kết luận mệnh đề K ⇔ G đúng.