Giả sử p và q là các mệnh đề. Hãy cho biết định nghĩa đúng của mệnh đề p*q.

Ta có:
- A = {1, 2, 3, 4}
- B = {2, 4, 6, 8}
- C = {1, 3, 5, 7}

Tính A ∪ C = {1, 2, 3, 4, 5, 7}
Tính (A ∪ C) ∪ B = {1, 2, 3, 4, 5, 6, 7, 8}

Tính B ∪ C = {1, 2, 3, 4, 5, 6, 7, 8}
Tính (B ∪ C) \ A = {5, 6, 7, 8}

Vậy ((A ∪ C) ∪ B) ∪ ((B ∪ C) \ A) = {1, 2, 3, 4, 5, 6, 7, 8} ∪ {5, 6, 7, 8} = {1, 2, 3, 4, 5, 6, 7, 8}.

Một chương trình con đệ quy bao gồm hai phần chính:

* Phần cơ sở (Base case): Đây là trường hợp đơn giản nhất mà chương trình con có thể giải quyết trực tiếp mà không cần gọi lại chính nó. Phần cơ sở đóng vai trò là điểm dừng cho quá trình đệ quy, ngăn chặn việc chương trình con gọi lại chính nó vô hạn lần.
* Phần đệ quy (Recursive case): Đây là phần mà chương trình con gọi lại chính nó để giải quyết một phiên bản nhỏ hơn của vấn đề ban đầu. Phần đệ quy phải đảm bảo rằng mỗi lần gọi lại chính nó, vấn đề trở nên đơn giản hơn và tiến gần hơn đến phần cơ sở.

Các phương án khác không mô tả chính xác cấu trúc của một chương trình con đệ quy. Phần 'dễ giải quyết' và 'khó giải quyết' không phải là thuật ngữ chính thức. 'Phần quy nạp' thường được sử dụng trong chứng minh toán học hơn là mô tả cấu trúc chương trình. 'Phần hữu hạn' không liên quan đến cấu trúc của đệ quy.

Nguyên lý nhân (hay quy tắc nhân) phát biểu rằng nếu có $n_1$ cách để thực hiện công việc thứ nhất và $n_2$ cách để thực hiện công việc thứ hai, thì có $n_1 imes n_2$ cách để thực hiện cả hai công việc đó. Mở rộng, nếu có tập hợp A có N(A) phần tử và tập hợp B có N(B) phần tử, thì số phần tử của tích Descartes A x B (tập hợp các cặp (a, b) với a thuộc A và b thuộc B) là N(A) * N(B).

Phương án A: Phát biểu đúng nội dung của nguyên lý nhân cho hai tập hợp A và B. N(A . B) thường được hiểu là số phần tử của tích Descartes của A và B, và bằng N(A) * N(B).
Phương án B: Đây là công thức liên quan đến hợp của hai tập hợp, không phải nguyên lý nhân.
Phương án C: Đây là công thức tính số phần tử của hợp hai tập hợp rời nhau, không phải nguyên lý nhân.
Phương án D: Đây là một dạng của nguyên lý Dirichlet (nguyên lý chuồng bồ câu), không phải nguyên lý nhân.

Vậy, đáp án đúng là A.

Chỉnh hợp không lặp chập k của n phần tử là một bộ có thứ tự gồm k phần tử khác nhau lấy ra từ n phần tử đã cho, trong đó các phần tử không được lặp lại.

* Phương án A: Sai vì chỉnh hợp có kể đến thứ tự.
* Phương án B: Sai vì không đảm bảo các thành phần phải khác nhau.
* Phương án C: Đúng, đây là định nghĩa chính xác của chỉnh hợp không lặp.
* Phương án D: Sai vì đây là định nghĩa của hoán vị.