Câu hỏi: 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 1: Luật nào trong các luật sau là luật đối ngẫu (De Morgan).

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

B. \(p \wedge (q \vee r) \Leftrightarrow (p \wedge q) \wedge r;p \vee (q \wedge r) \Leftrightarrow (p \vee q) \vee r\)

C. \(p \wedge (q \vee r) \Leftrightarrow (p \vee q) \vee (p \vee r);p \vee (q \wedge r) \Leftrightarrow (p \wedge q) \wedge (p \wedge r)\)

D. \(\overline {p \wedge q} \Leftrightarrow \overline p \vee \overline q ;\overline {p \vee q} \Leftrightarrow \overline p \wedge \overline q \)

Câu 2: Để 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 3: 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 4: Để 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 5: Cho A và B là hai tập hợp. Hiệu 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 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.

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

Câu 6: Trong các luật sau, luật nào là luật hấp thụ?

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\)