JavaScript is required

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

A.

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

B.

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

C.

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

D.

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

Trả lời:

Đáp án đúng: B


Xét từng đáp án: Đáp án 1: {[(a → b) ∧ (c → d)] ∧ (b ∨ d)} ⇒ (a ∨ c) - Sai. Ví dụ: a=False, b=True, c=False, d=True. Khi đó, mệnh đề bên trái đúng, nhưng mệnh đề bên phải sai. Đáp án 2: {[(a → ~b) ∧ (c → ~d)] ∧ (b ∨ d)} ⇒ ~(a ∧ c). Ta có: (a → ~b) tương đương (~a ∨ ~b). (c → ~d) tương đương (~c ∨ ~d). Vậy [(a → ~b) ∧ (c → ~d)] tương đương [(~a ∨ ~b) ∧ (~c ∨ ~d)]. Giả sử (a ∧ c) đúng, suy ra a đúng và c đúng. Vì (b ∨ d) đúng, nên hoặc b đúng, hoặc d đúng, hoặc cả hai đều đúng. - Nếu b đúng: Vì a đúng, nên (a → ~b) sai. Vậy [(a → ~b) ∧ (c → ~d)] sai, mâu thuẫn. - Nếu d đúng: Vì c đúng, nên (c → ~d) sai. Vậy [(a → ~b) ∧ (c → ~d)] sai, mâu thuẫn. Vậy (a ∧ c) sai, nên ~(a ∧ c) đúng. Suy ra sơ đồ suy luận đúng. Đáp án 3: {[(a → b) ∧ (c → d)] ∧ (~b ∨ ~d)} ⇒ (a ∨ c) - Sai. Ví dụ: a=False, b=False, c=False, d=False. Khi đó, mệnh đề bên trái đúng, nhưng mệnh đề bên phải sai. Đáp án 4: {[(a → b) ∧ (c → d)] ∧ (~b ∨ ~d)} ⇒ ~(a ∨ c) - Sai. Ví dụ: a=True, b=True, c=True, d=True. Khi đó, mệnh đề bên trái sai, và mệnh đề bên phải sai. Do đó, sơ đồ suy luận vẫn đúng trong trường hợp này, tuy nhiên với a=True, b=True, c=False, d=False thì mệnh đề bên trái sai, và mệnh đề bên phải sai.

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