JavaScript is required

Kiểu suy luận nào đúng?

A.

[a→ b]⇒[ b→a][a → ~b] ⇒ [~b → a][a→ b]⇒[ b→a]

B.

[ a→b]⇒[ b→ a][~a → b] ⇒ [~b → ~a][ a→b]⇒[ b→ a]

C.

[ b→a]⇒[ a→b][~b → a] ⇒ [~a → b][ b→a]⇒[ a→b]

D.
[a→b]⇒[ b→a][a → b] ⇒ [~b → a][a→b]⇒[ b→a]
Trả lời:

Đáp án đúng: C


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 về mệnh đề kéo theo (a → b) và mệnh đề đảo, phản đảo của nó. * **Mệnh đề kéo theo:** a → b (Nếu a thì b) * **Mệnh đề đảo:** b → a (Nếu b thì a) * **Mệnh đề phản đảo:** ~b → ~a (Nếu không b thì không a), trong đó ~ là phủ định. Quy tắc suy luận đúng là: [a → b] ⇔ [~b → ~a] (Mệnh đề kéo theo tương đương với mệnh đề phản đảo của nó). **Xét các phương án:** * **A.** Sai vì: [a→ b]⇒[ b→a] là sai (mệnh đề kéo theo không tương đương với mệnh đề đảo). [a → ~b] ⇒ [~b → a] là sai. [a→ b]⇒[ b→a] là sai. * **B.** Sai vì: [ a→b]⇒[ b→ a] là sai (mệnh đề kéo theo không tương đương với mệnh đề đảo). [~a → b] ⇒ [~b → ~a] là sai. [ a→b]⇒[ b→ a] là sai. * **C.** Sai vì: [b→a]⇒[ a→b] là sai (mệnh đề kéo theo không tương đương với mệnh đề đảo). [~b → a] ⇒ [~a → b] là sai. [b→a]⇒[ a→b] là sai. * **D.** Sai vì: [a→b]⇒[ b→a] là sai (mệnh đề kéo theo không tương đương với mệnh đề đảo). [a → b] ⇒ [~b → a] là sai. [a→b]⇒[ b→a] là sai. Vậy, không có đáp án nào đúng trong các phương án đã cho.

Câu hỏi liên quan