Cho các mệnh đề P: “a và b chia hết cho c”;
Q: “a + b chia hết cho c”.
a) Hãy phát biểu định lý P ⇒ Q. Nêu giả thiết, và kết luận của định lí và phát biểu định lí dưới dạng điều kiện cần, điều kiện đủ.
b) Hãy phát biểu mệnh đề đảo của mệnh đề P ⇒ Q rồi xác định tính đúng sai của mệnh đề đảo này.