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

Câu 1: Trong các luật sau, luật nào là luật luỹ đẳng?

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 2: 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 3: 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 4: 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 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: 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 \)