Câu hỏi: Đ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 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: Cho các đẳng thức sau, có thể kết luận gì về các tập hợp A và B? A+ B = A, A + B = A

A. Bằng nhau

B. A là con B

C. Rời nhau

D. B là con A

Câu 3: 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\)

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

Câu 6: 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\)