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: Hai biểu thức mệnh đề E, F (có cùng bộ biến mệnh đề) được gọi là tương đương logic nếu…?

A. Nếu E có chân trị đúng thì F có chân trị sai và ngược lại.

B. E và F cùng có chân trị đúng.

C. E và F cùng có chân trị sai.

D. E và F có cùng chân trị trong mọi trường hợp về chân trị của bộ biến mệnh đề.

Câu 2: Tập hợp là:

A. Một nhóm các đối tượng hay vật thể có chung tính chất nào đó.

B. Một nhóm các đối tượng và vật thể có chung tính chất nào đó. 

C. Một nhóm các đối tượng và vật thể có chung duy nhất một tính chất nào đó. 

D. Một nhóm các phần tử có chung duy nhất một tính chất nào đó

Câu 3: 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 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: Hãy cho biết khẳng định nào dưới đây không phải là một mệnh đề?

A. 2 + 2 < 3

B. 3 * 2 = 6

C. x + 1 = 2

D. 3 - 1 > 2

Câu 6: Cho A và B là hai tập hợp. Phép giao của A và B được ký hiệu A + B, là:

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

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 chứa tất cả các phần tử thuộc A và đồng thời thuộc B.

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