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

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ì?