Sơ đồ suy luận nào đúng?
Trả lời:
Đáp án đúng: C
Câu hỏi yêu cầu tìm sơ đồ suy luận đúng. Ta cần xem xét từng phương án:
* **Phương án A:** (a→b)∧(a→d)∧(b∨d) ⇒ a. Đây là một dạng suy luận có thể đúng trong một số trường hợp cụ thể, nhưng không đúng một cách tổng quát. Ví dụ, nếu a sai, b và d đúng thì mệnh đề vẫn đúng. Vì vậy đây không phải là sơ đồ suy luận đúng.
* **Phương án B:** (a→¬b)∧(c→¬b)∧¬b ⇒ (a∨c). Phương án này sai. Nếu a và c đều đúng, và b sai thì các mệnh đề (a→¬b) và (c→¬b) đều sai. Do đó, phương án này sai.
* **Phương án C:** (a→b)∧(a→d)∧(¬b∨¬d) ⇒ ¬a. Ta có thể chứng minh tính đúng đắn của suy luận này bằng phương pháp phản chứng. Giả sử ¬a sai, tức là a đúng. Vì a đúng, theo (a→b) và (a→d), ta có b và d đều đúng. Nhưng điều này mâu thuẫn với (¬b∨¬d), vì nếu b và d đều đúng thì (¬b∨¬d) sai. Vậy giả sử ban đầu là sai, suy ra ¬a phải đúng.
* **Phương án D:** (a→b)∧(a→d)∧(¬b∨¬d) ⇒ a. Phân tích tương tự phương án C cho thấy phương án này sai.
Vậy, phương án C là đúng.





