Sơ đồ suy luận nào đúng?
Trả lời:
Đáp án đúng: A
Câu hỏi này kiểm tra kiến thức về các quy tắc suy luận logic, đặc biệt là quy tắc Modus Ponens và Modus Tollens. Trong trường hợp này, chúng ta cần xác định sơ đồ suy luận nào là hợp lệ.
* **Phân tích các lựa chọn:**
* **A. (a∨b)∧a ⇒ ~b:** Nếu a hoặc b đúng, và a đúng, thì không thể suy ra ~b (b sai). Ví dụ: Nếu "trời mưa hoặc đường ướt" và "trời mưa", ta không thể kết luận "đường không ướt" vì đường có thể ướt do nguyên nhân khác.
* **B. (a∨b)∧~a ⇒ b:** Nếu a hoặc b đúng, và a sai, thì suy ra b phải đúng. Đây là một quy tắc suy luận hợp lệ. Ví dụ: Nếu "trời mưa hoặc đường ướt" và "trời không mưa", thì chắc chắn "đường ướt".
* **C. (a∨b)∧ a ⇒ ~b:** Tương tự như đáp án A, đây là một quy tắc suy luận không hợp lệ. Nếu a hoặc b đúng, và a đúng thì không thể suy ra ~b.
* **D. (a∨b)∧ ~a ⇒ a:** Nếu a hoặc b đúng, và a sai thì không thể suy ra a đúng. Đây là một quy tắc suy luận không hợp lệ.
* **Kết luận:**
Chỉ có lựa chọn B là một sơ đồ suy luận hợp lệ. Vì nếu a hoặc b đúng, và a sai, thì chắc chắn b phải đúng để mệnh đề "a hoặc b" vẫn đúng.
Vì vậy, đáp án đúng là B.





