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 \Rightarrow Q\). Nêu giả thiết, kết luận của định lí và phát biểu định lí này 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 \Rightarrow Q\) rồi xác định tính đúng sai của mệnh đề đảo này.
a) Mệnh đề \(P \Rightarrow Q\), phát biểu là: “Nếu a và b chia hết cho c thì a + b chia hết cho c.”
Mệnh đề này đúng nên nó là một định lý.
Giả thiết của định lí: a và b chia hết cho c
Kết luận của định lí: a + b chia hết cho c
Phát biểu định lí dưới dạng điều kiện cần là: “ a + b chia hết cho c là điều kiện cần để có a và b chia hết cho c”
Phát biểu định lí dưới dạng điều kiện đủ là: “ a và b chia hết cho c là điều kiện đủ để có a + b chia hết cho c”
b) Mệnh đề đảo của mệnh đề \(P \Rightarrow Q\) là mệnh đề \(Q \Rightarrow P\).
Mệnh đề \(Q \Rightarrow P\): “Nếu a + b chia hết cho c thì a và b chia hết cho c”
Mệnh đề này sai.
Chẳng hạn a = 1 và b = 2, c =3. Ta có: \(1 + 2 = 3\; \vdots \;3\), nhưng 1 và 2 không chia hết cho 3.