Sơ đồ suy luận nào sai?
Trả lời:
Đáp án đúng: D
Ta xét từng đáp án:
A. (a → b) ∧ ~b ⇒ ~a. Đây là quy tắc Modus Tollens, một quy tắc suy luận hợp lệ.
B. (a → b) ∧ a ⇒ ~b. Giả sử a đúng và b đúng. Vậy (a → b) đúng. Nhưng a ⇒ ~b là sai, vì a đúng nhưng b không thể đồng thời vừa đúng vừa sai. Đây là sơ đồ sai.
C. (~a → b) ∧ ~b ⇒ a. Đây là một dạng biến thể của Modus Tollens, cũng là một quy tắc suy luận hợp lệ.
D. (~a → ~b) ∧ b ⇒ ~a. Nếu (~a → ~b) đúng, thì (b -> a) đúng. Suy ra (b->a) ∧ b => a, chứ không phải ~a. Vậy sơ đồ này sai. Tuy nhiên, do câu hỏi yêu cầu tìm sơ đồ *sai*, và đáp án B sai rõ ràng hơn vì tạo ra mâu thuẫn trực tiếp (b vừa đúng vừa sai), đáp án B phù hợp hơn.
Như vậy, đáp án B là sơ đồ suy luận sai.





