Cho các mệnh đề P: “a và b chia hết cho c”; Q: “a + b chia hết cho c”.

a) Định lí P ⇒ Q được phát biểu như sau:

Nếu a và b chia hết cho c thì a + b chia hết cho c.

Giả thiết của định lí là: a và b chia hết cho c;

Kết luận của định lí là: a + b chia hết cho c.

Định lý P ⇒ Q được phát biểu dưới dạng điều kiện cần và đủ là:

a và b chia hết cho c là điều kiện đủ để a + b chia hết cho c.

a + b chia hết cho c là điều kiện cần để a và b chia hết cho c.

b) Mệnh đề đảo của mệnh đề P ⇒ Q được phát biểu như sau:

Nếu a + b chia hết cho c thì a và b chia hết cho c.

Ví dụ:  a = 10, b = 2, c = 3

Ta có: a + b = 10 + 2 = 12 chia hết cho 3 nhưng a = 10 không chia hết cho 3 và b = 2 cũng không chia hết cho 3. Do đó mệnh đề đảo của mệnh đề P ⇒ Q là mệnh đề sai.