Câu hỏi: Cho tập A={1, 2, 3, 4}.Trong các quan hệ trên tập A cho dưới đây, quan hệ nào là quan hệ tương đương?

A. {(1, 1), (1, 2), (1,3), (2,2), (2,1), (2,3), (3,3)}

B. {(1, 1), (3,3), (2,3), (2,1), (3,2), (1,3)} 

C. {(1,1), (1,2), (2,1), (2,2), (3,3), (4,4)} 

D. {(1, 1), (2, 2), (3,3), (4,4), (2,1), (2,3), (3,1)} 

Câu 1: Cho A = {a, b, d, h, k} ; B = {c, d, e, h}, C = {a, e, g, k). Tập (A\B) +C là:

A. {a, b, e, g, k}

B. {a, b, c, d, e}

C. {c, d, e}

D. {a, b, c, e} 

Câu 2: Hai biểu thức boole gọi là tương đương nhau nếu chúng:

A. Có cùng giá trị chân lý trong mọi trường hợp giá trị của các biến Boole. 

B. Có cùng số biến và có cùng giá trị chân lý. 

C. Cùng biểu diễn một hàm boole, số biến bằng nhau. 

D. Có số biến bằng nhau và biểu diễn 2 hàm boole giống hoặc khác nhau.

Câu 3: Biểu thức logic A được gọi là hằng sai nếu:

A. A nhận giá trị với mọi hệ giá trị chân lý của bộ biến mệnh đề có mặt trong A.

B. A nhận giá trị False với mọi hệ giá trị chân lý của bộ biến mệnh đề có mặt trong A.

C. A nhận giá trị True với mọi hệ giá trị chân lý của bộ biến mệnh đề có mặt trong A.

D. A nhận giá trị False khi tồn tại hệ giá trị chân lý của bộ biến mệnh đề có mặt trong A.

Câu 4: Cho A = {a, b, c, e}; B = {c, d, f, g}. Tập (A \B) +A là:

A. {a, b, g}

B. {b, c, e}

C. {a, b, c, d}

D. {a, b, c, e}

Câu 5: Để chứng minh “tích của 2 số hữu tỷ là một số hữu tỷ”, ta sử dụng phương pháp nào?

A. Chứng minh gián tiếp

B. Chứng minh trực tiếp

C. Chứng minh phản chứng

D. Chứng minh phân chia trường hợp

Câu 6: Giả sử p và q là các mệnh đề. Hãy cho biết định nghĩa đúng của mệnh đề p*q.

A. Là một mệnh đề mà chỉ nhận giá trị T khi và chỉ khi p, q nhận giá trị T. Nhận giá trị F trong các trường hợp còn lại.

B. Là một mệnh đề chỉ đúng khi một trong p hoặc q là đúng và sai trong các trường hợp khác còn lại. 

C. Là một mệnh đề mà nó chỉ nhận giá trị T khi và chỉ khi ít nhất một trong hai mệnh đề p, q nhận giá trị T. Nhận giá trị F khi và chỉ khi cả p, q đều nhận giá trị F.

D. Là một mệnh đề nhận giá T khi và chỉ khi p nhận giá trị F hoặc p và q cùng nhận giá trị T. Nhận giá trị F khi và chỉ khi p nhận giá trị T và q nhận giá trị F.