Câu hỏi: 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 1: 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 2: 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 3: 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 4: 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}

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