JavaScript is required

Cho mệnh đề T, ta xác định mệnh đề ~T trái ngược với mệnh đề T, và chứng minh mệnh đề ~T đúng. Thao tác logic này được gọi là gì?

A.

Chứng minh gián tiếp mệnh đề T.

B.

Chứng minh phản chứng mệnh đề T.

C.

Bác bỏ gián tiếp mệnh đề T.

D.

Cả A, B, C đều sai.

Trả lời:

Đáp án đúng: C


Chứng minh phản chứng là phương pháp chứng minh một mệnh đề bằng cách chứng minh mệnh đề phủ định của nó. Trong trường hợp này, ta có mệnh đề T, ta xác định mệnh đề ~T (phủ định của T) và chứng minh ~T đúng. Đây chính là định nghĩa của chứng minh phản chứng.

Chia sẻ 340 câu trắc ôn thi trắc nghiệm logic học có đáp án dành cho các bạn sinh viên nhằm giúp bạn ôn tập và kiểm tra đạt kết quả cao.


40 câu hỏi 60 phút

Câu hỏi liên quan