Câu hỏi: 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 1: 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 2: Cho một đoạn giả mã như sau:

A. x = 7, y = 2, w = 5, t = 3

B. x = 0, y = 2, w = -3, t = 3

C. x = 0, y = -1, w = 1, t = 3

D. x = 1, y = -1, w = 1, t = 3

Câu 3: 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 4: Cho các mệnh đề được phát biểu như sau:

A. 2

B. 3

C. 4

D. 5

Câu 5: 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 6: Để 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