Câu hỏi: Biểu thức hằng đúng 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 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: 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 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 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 5: 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 6: Cho A và B là hai tập hợp. Hiệu đối xứng 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ử chỉ thuộc A hoặc chỉ thuộc B, đồng thời thuộc cả A và B.

B. Tập chứa tất cả các phần tử chỉ thuộc A hoặc chỉ thuộc B, không đồng thời thuộc cả A và B. 

C. Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, không đồng thời thuộc cả A và B. 

D. Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, đồng thời thuộc cả A hoặc B.