JavaScript is required

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ừ.

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

Câu hỏi liên quan