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. Quá trình này đi trực tiếp từ giả thiết đến kết luận cần chứng minh.
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.
50 câu hỏi 60 phút





