Câu hỏi: 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.

Câu 1: Luật nào trong các luật sau là luật phân bố (phân phối)?

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

Câu 2: Biểu thức hằng sai là?

A. Biểu thức chỉ nhận chân trị đúng khi các biến mệnh đề nhận chân trị đúng

B. Biểu thức nhận chân trị đúng trong mọi trường hợp về chân trị của bộ biến mệnh đề.

C. Biểu thức nhận chân trị sai trong mọi trường hợp về chân trị của bộ biến mệnh đề

D. Biểu thức chỉ nhận chân trị sai khi các biến mệnh đề nhận chân trị sai

Câu 3: Cho A, B là 2 tập hợp. A là tập con của B được ký hiệu A x B, khi:

A. Tồn tại phần tử thuộc A thì tồn tại phần tử thuộc B

B. Tồn tại phần tử thuộc A thì cũng thuộc B

C. Mọi phần tử thuộc A thì tồn tại phần tử thuộc B

D. Mọi phần tử thuộc A đều thuộc B 

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