Gọi T là luận đề; a, b, c, d là luận cứ; m, n, p,...

Câu hỏi: Gọi T là luận đề; a, b, c, d là luận cứ; m, n, p, q là các hệ quả tất yếu được suy ra từ a, b, c, d. Sơ đồ [a ∧ b ∧ c ∧ d) → (m ∧ n ∧ q) → T] thể hiện chứng minh gì?

A. CM gián tiếp.

B. CM phản chứng.

C. CM trực tiếp.

D. CM loại trừ.