Cho đồ thị như hình vẽ. Kết quả khi duyệt đồ thị theo thuật toán DFS(G) là:

 

Câu hỏi này kiểm tra kiến thức về các quy tắc suy luận logic. Đoạn suy diễn cho thấy một chuỗi các mệnh đề quan hệ "nếu...thì...":

- Mệnh đề 1: Nếu trường là chất lượng cao, thì có cán bộ giảng dạy giỏi.

- Mệnh đề 2: Nếu trường có cán bộ giảng dạy giỏi, thì có sinh viên giỏi.

- Kết luận: Nếu trường là chất lượng cao, thì có sinh viên giỏi.

Cấu trúc này tuân theo quy tắc tam đoạn luận (hay còn gọi là quy tắc bắc cầu). Nếu A kéo theo B, và B kéo theo C, thì A kéo theo C.

Vì vậy, đáp án đúng là "Luật tam đoạn luận".

- Luật khẳng định và luật phủ định là các quy tắc suy luận khác, thường liên quan đến việc khẳng định hoặc phủ định một mệnh đề để suy ra kết quả.

- Luật tam đoạn luận rời liên quan đến các mệnh đề "hoặc" (A hoặc B) và việc phủ định một trong các mệnh đề đó để suy ra mệnh đề còn lại.

Phân tích suy luận:

- Giả sử A: An học giỏi, B: An công tác tốt, C: An được khen thưởng.

- Suy luận được cho là: (A ∨ B) → C, C đúng, ¬A đúng. Vậy B phải đúng.

- Điều này tuân theo luật tam đoạn luận rời, cụ thể là phép tuyển (A ∨ B) và phủ định một trong hai vế (¬A), dẫn đến khẳng định vế còn lại (B).

Mệnh đề là một câu khẳng định có tính đúng hoặc sai. Trong các lựa chọn:

• "Hãy cẩn thận!" là một câu cảm thán, không phải mệnh đề.


• "X+Y=1" là một mệnh đề chứa biến số, tính đúng sai của nó phụ thuộc vào giá trị của X và Y. Tuy nhiên, theo định nghĩa rộng hơn, đây vẫn được coi là một mệnh đề.


• "An hôm nay có phải đi học không?" là một câu hỏi, không phải mệnh đề.


• "An là học sinh giỏi" là một câu khẳng định, có thể đúng hoặc sai, do đó là một mệnh đề.

Vì vậy, phương án phù hợp nhất là "An là học sinh giỏi".