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ì?
Trả lời:
Đáp án đúng: C
Sơ đồ [a ∧ b ∧ c ∧ d) → (m ∧ n ∧ q) → T] thể hiện chứng minh trực tiếp. Trong chứng minh trực tiếp, ta bắt đầu từ các luận cứ (a, b, c, d), sử dụng các quy tắc suy luận để dẫn đến các hệ quả tất yếu (m, n, q), và từ đó suy ra luận đề T cần chứng minh. Các phương án còn lại không phù hợp:
- Chứng minh gián tiếp thường bao gồm việc phủ định luận đề và dẫn đến mâu thuẫn.
- Chứng minh phản chứng là một dạng của chứng minh gián tiếp, trong đó ta giả sử điều ngược lại với điều cần chứng minh và chứng minh rằng giả sử đó dẫn đến một mâu thuẫn.
- Chứng minh loại trừ bao gồm việc liệt kê tất cả các trường hợp có thể xảy ra và loại trừ tất cả các trường hợp, ngoại trừ một trường hợp duy nhất, để chứng minh rằng trường hợp đó phải đúng.
