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.
