Câu hỏi: 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 1: Để 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 2: Cho A là tập hữu hạn, B là tập vũ trụ. Phần bù của A trong B là:

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

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 bao gồm những phần tử thuộc tập A và tập B.

D. Tập bao gồm những phần tử không thuộc A nhưng lại thuộc B

Câu 3: 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 4: 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 5: 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 6: 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 đó