Dựa theo hình vuông logic, sơ đồ nào thể hiện quan hệ tương phản dưới?

Câu hỏi này kiểm tra kiến thức về các thao tác logic cơ bản. Trong đó:

• Diễn dịch trực tiếp: Là một hình thức diễn dịch nhưng không phải là khái niệm bao quát cho mọi thao tác logic rút ra kết luận từ tiền đề.


• Quy nạp hoàn toàn: Là phương pháp suy luận từ các trường hợp riêng lẻ để đưa ra kết luận chung, khác với định nghĩa trong câu hỏi.


• Suy luận: Là quá trình đi từ tiền đề đến kết luận một cách logic, phù hợp với định nghĩa của câu hỏi.


• Suy luận gián tiếp: Là một dạng của suy luận, nhưng không phải là khái niệm bao quát.

Do đó, đáp án chính xác nhất là "Suy luận".

Câu hỏi này kiểm tra kiến thức về các quy tắc suy luận logic. Chúng ta cần xác định mệnh đề nào là đúng.

Phương án 1: [a → ~b] ⇒ [~b → a] là sai. Phép kéo theo không có tính đối xứng.

Phương án 2: [~a → b] ⇒ [b → a] là sai. Tương tự, phép kéo theo không có tính đối xứng.

Phương án 3: [a → b] ⇒ [~a → ~b] là sai. Đây là ngụy biện đảo ngược tiền đề. Nếu a kéo theo b, thì không nhất thiết phủ định a kéo theo phủ định b.

Phương án 4: [a → b] ⇒ [~a ∨ b] là đúng. Mệnh đề [a → b] tương đương logic với [~a ∨ b]. Ví dụ, "Nếu trời mưa (a), thì đường ướt (b)" tương đương với "Trời không mưa (~a) hoặc đường ướt (b)".