Cho các mệnh đề P : “ a và b chia hết cho c ” ; Q : “ a + b chia hết cho c ” Hãy phát biểu định lí P ⇒ 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

Phát biểu định lí \(P \Rightarrow Q\) là Nếu \(a\)và \(b\)chia hết cho \(c\)thì \(a + b\)chia hết cho \(c\).

Trong đó giả thiết là \(a\)và \(b\)chia hết cho \(c\), kết luận là \(a + b\)chia hết cho \(c\).

Phát biểu định lý dưới dạng điều kiện cần : \(a + b\)chia hết cho \(c\)là điều kiện cần để \(a\)và \(b\)chia hết cho \(c\).

Phát biểu định lý dưới dạng điều kiện đủ : \(a\)và \(b\)chia hết cho \(c\)là điều kiện đủ để \(a + b\)chia hết cho \(c\).