Câu hỏi: Để chứng minh một quy tắc suy luận đúng ta thường sử dụng các phương pháp:

A. Định nghĩa, biến đổi tương đương logic

B. Lập bảng giá trị chân lý và kết luận theo định nghĩa

C. Biến đổi tương đương logic

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

Câu 1: Trong các luật sau, luật nào là luật về phần tử trung hoà?

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 2: 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 3: Đ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 4: Cho tập A = {2, 3, 4, 5}. Tập nào trong các tập dưới đây không bằng A?

A. {4, 3, 5, 2}

B. {a | a là số tự nhiên lớn hơn 1 và nhỏ hơn 6}

C. {b | b là số thực sao cho 1 < b2 < 36}

D. {2, 2, 3, 4, 4, 4, 5}

Câu 5: Luật P→Q tương đương với luật nào sau đây?

A. \(\overline P \wedge Q \)

B. \(\overline P \vee Q \)

C. \(P \vee \overline Q \)

D. \(P \wedge \overline Q \)

Câu 6: Cho A và B là hai tập hợp. Phép hợp 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ử thuộc A và đồng thời thuộc B.

B. 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

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

D. 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.