Dựa theo hình vuông lôgích, sơ đồ nào thể hiện quan hệ lệ thuộc?

Trong hình vuông logic, quan hệ lệ thuộc (hay còn gọi là quan hệ bao hàm) diễn ra giữa các mệnh đề toàn thể và bộ phận cùng chất. Cụ thể: * **Mệnh đề A (Toàn thể khẳng định) bao hàm mệnh đề I (Bộ phận khẳng định):** Nếu A đúng thì I chắc chắn đúng. Ví dụ: "Tất cả sinh viên đều chăm chỉ" (A) thì "Một vài sinh viên chăm chỉ" (I) cũng đúng. * **Mệnh đề E (Toàn thể phủ định) bao hàm mệnh đề O (Bộ phận phủ định):** Nếu E đúng thì O chắc chắn đúng. Ví dụ: "Không có sinh viên nào lười biếng" (E) thì "Một vài sinh viên không lười biếng" (O) cũng đúng. Như vậy, ta có: * A → I (A kéo theo I) * ~I → ~A (Phủ định của I kéo theo phủ định của A) * E → O (E kéo theo O) * ~O → ~E (Phủ định của O kéo theo phủ định của E) **Xét các phương án:** * **A. A→I ; ~I→A:** Sai. Mệnh đề ~I → A không đúng trong quan hệ lệ thuộc. Phải là ~I→~A * **B. A→I ; I→~A:** Sai. I không kéo theo ~A. * **C. O→~E; E→O:** Sai. O không kéo theo ~E. Phải là ~O→~E * **D. ~I→~A; E→O:** Đúng. Vì quan hệ lệ thuộc là A→I và E→O, suy ra ~I→~A; E→O. Vậy, đáp án đúng là D.