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

A. ( ) – Bù – tổng – tích.

B. ( ) – Bù – tích – tổng.

C. Bù – tổng – tích – ( ).

D. Bù – tích – tổng – ( ).

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.

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

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.

A. {(1, 1), (1, 2), (1,3), (2,2), (2,1), (2,3), (3,3)}

B. {(1, 1), (3,3), (2,3), (2,1), (3,2), (1,3)}

C. {(1,1), (1,2), (2,1), (2,2), (3,3), (4,4)}

D. {(1, 1), (2, 2), (3,3), (4,4), (2,1), (2,3), (3,1)}

A. {1, 2, 4, 5, 7}

B. {1, 5, 7}

C. {2, 4}

D. {1, 2, 4}