Cho n là số tự nhiên. Xét các mệnh đề: P: “n là một số tự nhiên chia hết cho 16”

a) Mệnh đề P ⇒ Q: “Nếu n là một số tự nhiên chia hết cho 16 thì n là một số tự nhiên chia hết cho 8”.

Đây là mệnh đề đúng vì 16 = 2 . 8 nên mọi số tự nhiên chia hết cho 16 thì đều chia hết cho 8.

b) Mệnh đề đảo của mệnh đề P ⇒ Q là mệnh đề Q ⇒ P: “Nếu là là số tự nhiên chia hết cho 8 thì n là một số tự nhiên chia hết cho 16”.

Mệnh đề đảo này là mệnh đề sai.

Ví dụ: lấy n = 8, ta thấy 8 chia hết cho 8 nhưng 8 không chhia hết cho 16.