Câu hỏi: 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 1: Đáp án nào dưới đây là khái niệm mệnh đề?

A. Mệnh đề là một khẳng định luôn đúng

B. Mệnh đề là một khẳng định vừa đúng vừa sai

C. Mệnh đề là một khẳng định hoặc đúng hoặc sai, không thể vừa đúng vừa sai

D. Mệnh đề là một khẳng định luôn sai

Câu 2: 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 3: Để 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 4: 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 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: 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.