Câu hỏi: 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 1: 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 2: 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 3: Cho biết quan hệ “lớn hơn hoặc bằng” trên tập Z có những tính chất nào?

A. Phạn xạ - đối xứng

B. Phản xạ - đối xứng – bắc cầu

C. Phản xạ - đối xứng – phản đối xứng

D. Phản xạ - phản đối xứng – bắc cầu

Câu 4: 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 5: Để 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 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.