Câu hỏi: 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 1: Cho biết quan hệ nào dưới đây là quan hệ tương đương:

A. Quan hệ lớn hơn trên tập Z

B. Quan hệ đồng dư theo modulo 3 trên tập Z

C. Quan hệ chia hết trên tập Z

D. Quan hệ nhỏ hơn trên tập Z 

Câu 2: 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 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*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.

Câu 4: 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 5: Có thể đưa một bài toán chứng minh về loại mệnh đề nào?

A. Hội

B. Tuyển

C. Kéo theo

D. Tương đương

Câu 6: Cho A = {a, b, c, 0, 1}; B ={0, a, 1, a, 2, 3}. Hãy cho biết A + B là tập nào?

A. {0, 1}

B. { a, 0, 1}

C. { a, 0, 1, 2, 3}

D. { 0, 1, 2}