Giả sử P và Q là 2 mệnh đề, chọn đáp án đúng cho định nghĩa mệnh đề P→Q?

Mệnh đề là một câu khẳng định có tính đúng hoặc sai.
- Phương án A: "2 + 2 < 3" là một mệnh đề sai.
- Phương án B: "3 * 2 = 6" là một mệnh đề đúng.
- Phương án C: "x + 1 = 2" không phải là mệnh đề, vì giá trị đúng sai của nó phụ thuộc vào giá trị của x. Đây là một biểu thức chứa biến.
- Phương án D: "3 - 1 > 2" là một mệnh đề sai.
Vậy, đáp án đúng là C.

Trong toán học, việc chứng minh một bài toán thường dẫn đến việc khẳng định một mệnh đề là đúng. Mệnh đề này có thể được biểu diễn dưới dạng "P kéo theo Q" (nếu P thì Q) hoặc "P tương đương Q" (P khi và chỉ khi Q). Trong đó, P là giả thiết và Q là kết luận. Do đó, một bài toán chứng minh có thể đưa về loại mệnh đề kéo theo hoặc tương đương. Tuy nhiên, mệnh đề tương đương có thể được xem xét như là sự kết hợp của hai mệnh đề kéo theo. Do đó, 'Kéo theo' là đáp án phù hợp nhất trong các lựa chọn đã cho.

Câu hỏi này kiểm tra kiến thức về các phương pháp chứng minh toán học. Mệnh đề "một số nguyên dương n là lẻ khi và chỉ khi 5n+6 là lẻ" là một mệnh đề tương đương (khi và chỉ khi). Để chứng minh mệnh đề này, ta cần chứng minh cả hai chiều:

* Nếu n lẻ thì 5n+6 lẻ.
* Nếu 5n+6 lẻ thì n lẻ.

Chứng minh trực tiếp là phương pháp chứng minh một mệnh đề bằng cách sử dụng các định nghĩa, tiên đề, và các mệnh đề đã được chứng minh trước đó để suy ra mệnh đề cần chứng minh. Trong trường hợp này, ta có thể chứng minh trực tiếp cả hai chiều của mệnh đề tương đương. Ví dụ, nếu n lẻ, ta có thể viết n = 2k + 1, sau đó suy ra 5n + 6 = 5(2k + 1) + 6 = 10k + 5 + 6 = 10k + 11 = 2(5k + 5) + 1, là một số lẻ. Chiều ngược lại cũng có thể chứng minh tương tự.

Chứng minh gián tiếp (chứng minh phản đảo) cũng có thể được sử dụng. Ví dụ, thay vì chứng minh "n lẻ thì 5n+6 lẻ", ta chứng minh "5n+6 chẵn thì n chẵn".

Chứng minh phản chứng thường được sử dụng khi việc chứng minh trực tiếp gặp khó khăn, bằng cách giả sử điều ngược lại của điều cần chứng minh là đúng, và từ đó suy ra một mâu thuẫn. Tuy nhiên, trong trường hợp này, chứng minh trực tiếp là khả thi và dễ hiểu hơn.

Chứng minh quy nạp thường được sử dụng để chứng minh một mệnh đề đúng với mọi số tự nhiên lớn hơn hoặc bằng một số nào đó. Phương pháp này không phù hợp với bài toán này.

Vì chứng minh trực tiếp là phương pháp phù hợp và dễ hiểu nhất để chứng minh mệnh đề tương đương đã cho, nên đáp án đúng là "Trực tiếp".

Nguyên lý cộng phát biểu rằng nếu A và B là hai tập hợp *rời nhau* (tức là không có phần tử chung), thì số phần tử của hợp của A và B bằng tổng số phần tử của mỗi tập hợp. Công thức là N(A ∪ B) = N(A) + N(B), trong đó N(X) biểu thị số phần tử của tập hợp X. Phương án 2 diễn đạt chính xác điều này. Các phương án khác đưa ra các phát biểu không chính xác về nguyên lý cộng hoặc các nguyên lý khác (ví dụ, nguyên lý Dirichlet trong phương án 1).