Câu hỏi: Cho các mệnh đề được phát biểu như sau:

A. 2

B. 3

C. 4

D. 5

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

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

B. A nhận giá trị True với 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 với mọi hệ giá trị chân lý của bộ biến mệnh đề có mặt trong A.

Câu 2: Cho A = {a, b, c, e} ; B = {c, d, f, g}. Tập A - B là:

A. {a, b, e} 

B. {d, f, g}

C. {a, b, e, d, g, f}

D. {a, b, c, d, e, g, f} 

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

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

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

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 đề mà nó chỉ nhận giá trị T khi và chỉ khi p, q nhận giá trị T. Nhận giá trị F khi và chỉ khi hoặc p, q, hoặc cả hai nhận giá trị F

Câu 4: Cho A = {1, 2, 3, 5}, B = {2, 4, 6, 8}, C = {1, 6, 7}. Tập (A\B) +C là:

A. {2, 4, 6}

B. {3, 5, 7}

C. {1}

D. {1, 2, 3} 

Câu 5: Phương pháp chứng minh đi từ giả thiết đến kết luận thông qua các luật suy diễn, các định lý, các nguyên lý hay các kết quả đã có từ trước được gọi là phương pháp chứng minh:

A. Gián tiếp

B. Trực tiếp

C. Tầm thường

D. Theo giả thiết

Câu 6: Cho A = {c, d, g}, B = {a, c, g, k}. Tập (A+B) + (A+B) là

A. {c, d, g}

B. {c, d, g, a, k}

C. {a, d, k}

D. {c, g}