Câu hỏi: Giả sử P và Q là 2 mệnh đề, chọn đáp án đúng cho định nghĩa mệnh đề P→Q?

A. Là một mệnh đề nhận chân trị đúng khi một trong hai hoặc cả 2 mệnh đề cùng đúng, nhận chân trị sai trong các trường hợp còn lại.

B. Là một mệnh đề nhận chân trị đúng khi P và Q có cùng chân trị. Nhận chân trị sai trong các trường hợp còn lại.

C. Là một mệnh đề nhận chân trị đúng khi P sai hoặc cả P và Q cùng đúng. Nhận chân trị sai khi và chỉ khi P đúng Q sai

D. Là 1 mệnh đề nhận chân trị đúng khi P và Q cùng đúng, sai khi P và Q cùng sai.

Câu 1: Cho A = {2, 3, 6}. Hãy cho biết tập A có tối đa bao nhiêu tập con?

A. 3

B. 4

C. 5

D. 8

Câu 2: 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 3: 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 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: 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 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 \)