Câu hỏi: Cho A là tập hữu hạn, B là tập vũ trụ. Phần bù của A trong B là:

A. Tập chứa tất cả các phần tử hoặc thuộc tập hợp A hoặc thuộc tập hợp B.

B. Tập chứa các phần tử thuộc tập hợp A nhưng không thuộc tập hợp B.

C. Tập bao gồm những phần tử thuộc tập A và tập B.

D. Tập bao gồm những phần tử không thuộc A nhưng lại thuộc B

Câu 1: Biểu thức hằng sai là?

A. Biểu thức chỉ nhận chân trị đúng khi các biến mệnh đề nhận chân trị đúng

B. Biểu thức nhận chân trị đúng trong mọi trường hợp về chân trị của bộ biến mệnh đề.

C. Biểu thức nhận chân trị sai trong mọi trường hợp về chân trị của bộ biến mệnh đề

D. Biểu thức chỉ nhận chân trị sai khi các biến mệnh đề nhận chân trị sai

Câu 2: Trong các luật sau, luật nào là luật thống trị?

A. \(p \wedge (p \vee q) \Leftrightarrow p;p \vee (p \wedge q) \Leftrightarrow p\)

B. \(p \vee 1 \Leftrightarrow 1;p \wedge 0 \Leftrightarrow 0\)

C. \(p \vee 0 \Leftrightarrow p;p \wedge 1 \Leftrightarrow p\)

D. \(p \vee p \Leftrightarrow p;p \wedge p \Leftrightarrow p\)

Câu 3: Để chứng minh tích của 3 số tự nhiên liên tiếp luôn chia hết cho 6, người ta chứng minh như sau:

A. Chứng minh qui nạp mạnh

B. Chứng minh trực tiếp

C. Chứng minh quy nạp yếu

D. Chứng minh phản chứng.

Câu 4: Đoạn dưới đây chứng minh “3n + 2 là lẻ thì n là lẻ”: Vì 3n + 2 lẻ là đúng ta có 2 là số chẵn nên 3n là số lẻ, mà 3 là số lẻ nên n là số lẻ. Vậy ta đã có thể kết luận n là lẻ. Đoạn trên sử dụng phương pháp chứng minh nào: 

A. Gián tiếp

B. Trực tiếp

C. Phân chia trường hợp

D. Phản chứng

Câu 5: Cho A và B là hai tập hợp. Hiệu đối xứng của A và B được ký hiệu A - B, là:

A. Tập chứa tất cả các phần tử chỉ thuộc A hoặc chỉ thuộc B, đồng thời thuộc cả A và B.

B. Tập chứa tất cả các phần tử chỉ thuộc A hoặc chỉ thuộc B, không đồng thời thuộc cả A và B. 

C. Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, không đồng thời thuộc cả A và B. 

D. Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, đồng thời thuộc cả A hoặc B.

Câu 6: Biểu thức logic không chứa thành phần nào dưới đây:

A. Các mệnh đề

B. Các vị từ

C. Các biến mệnh đề

D. Các phép toán logic