JavaScript is required

Sơ đồ suy luận nào đúng?

A.

(a→b)∧(a→d)∧(b∨d){(a → b) ∧ (a → d)} ∧ (b ∨ d)(a→b)∧(a→d)∧(b∨d) ⇒ a.

B.

(a→ b)∧(c→ b)∧ b{(a → ~b) ∧ (c → ~b)} ∧ ~b(a→ b)∧(c→ b)∧ b ⇒ (a ∨ c).

C.

(a→b)∧(a→d)∧( b∨ d){(a → b) ∧ (a → d)} ∧ (~b ∨ ~d)(a→b)∧(a→d)∧( b∨ d) ⇒ ~a.

D.
(a→b)∧(a→d)∧( b∨ d){(a → b) ∧ (a → d)} ∧ (~b ∨ ~d)(a→b)∧(a→d)∧( b∨ d) ⇒ a.
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.

Câu hỏi liên quan