Giả sử $Q$ là tập con của tập hợp các số nguyên dương sao cho

a) \(k \in Q\)

b) \(n \in Q \Rightarrow n + 1 \in Q\,\,\forall n \ge k.\)

Trong phương pháp quy nạp toán học, nếu ta giả sử mệnh đề đúng với \(n = k\) thì ta cần chứng minh mệnh đề đúng đến:

Đối với bài toán chứng minh \(P\left( n \right)\) đúng với mọi \(n \ge p\) với \(p\) là số tự nhiên cho trước thì ở bước 1 ta cần chứng minh mệnh đề đúng với:

Dùng quy nạp chứng minh mệnh đề chứa biến \(P\left( n \right)\) đúng với mọi số tự nhiên $n \ge p$ (\(p\) là một số tự nhiên). Ở bước 2 ta giả thiết mệnh đề \(P\left( n \right)\) đúng với \(n = k\). Khẳng định nào sau đây là đúng?

Khi sử dụng phương pháp quy nạp để chứng minh mệnh đề chứa biến \(P\left( n \right)\) đúng với mọi số tự nhiên $n \ge p$ (\(p\) là một số tự nhiên), ta tiến hành hai bước:

\( \bullet \) Bước 1, kiểm tra mệnh đề \(P\left( n \right)\) đúng với \(n = p.\)

\( \bullet \) Bước 2, giả thiết mệnh đề \(P\left( n \right)\) đúng với số tự nhiên bất kỳ \(n = k \ge p\) và phải chứng minh rằng nó cũng đúng với \(n = k + 1.\)

Trong hai bước trên:

Trong phương pháp quy nạp toán học, ở bước 2, nếu ta giả sử mệnh đề đúng với \(n = k + 1\) thì ta cần chứng minh mệnh đề đúng với:

Một học sinh chứng minh mệnh đề ${\rm{''}}{8^n} + 1$ chia hết cho ${\rm{7, }}\forall n \in {\mathbb{N}^*}''$ \(\left( * \right)\) như sau:

\( \bullet \) Giả sử \(\left( * \right)\) đúng với \(n = k\), tức là ${8^k} + 1$ chia hết cho \(7.\)

\( \bullet \) Ta có: ${8^{k + 1}} + 1 = 8\left( {{8^k} + 1} \right) - 7$, kết hợp với giả thiết ${8^k} + 1$ chia hết cho \(7\) nên suy ra được ${8^{k + 1}} + 1$ chia hết cho \(7.\) Vậy đẳng thức \(\left( * \right)\) đúng với mọi \(n \in {\mathbb{N}^*}.\)

Khẳng định nào sau đây là đúng?

Với \(n \in {N^*}\), ta xét các mệnh đề: $P:$“\({7^n} + 5\) chia hết cho $2$”; $Q:$ “\({7^n} + 5\) chia hết cho $3$” và $R:$ “\({7^n} + 5\) chia hết cho $6$”. Số mệnh đề đúng trong các mệnh đề trên là: