Cho đồ thị như hình vẽ. Hãy cho biết kết quả thực hiện thuật toán BFS(2):

Mô hình suy diễn

\(\frac{\begin{array}{l}
A \to B\\
A
\end{array}}{{\therefore B}}\)

tượng trưng cho quy tắc Modus Ponens, hay còn gọi là luật khẳng định. Trong đó, nếu ta có mệnh đề “A kéo theo B” (A → B) và A đúng, thì ta có thể suy ra B đúng.

• Luật rút gọn: Liên quan đến việc đơn giản hóa các mệnh đề phức tạp, thường là loại bỏ một phần của mệnh đề hội (A ∧ B).


• Luật cộng: Thêm một mệnh đề vào một mệnh đề đã có bằng phép tuyển (A → A ∨ B).


• Luật khẳng định: Chính là quy tắc Modus Ponens, như đã giải thích ở trên.


• Luật tam đoạn luận: Nếu A → B và B → C, thì A → C.

Do đó, đáp án đúng là luật khẳng định.

Mệnh đề là một câu khẳng định có tính đúng hoặc sai. Các phương án A, B, C đều là những câu khẳng định có thể xác định được tính đúng sai của nó. Phương án D, "Thật vui vì Lan ở nhà", là một câu cảm thán, thể hiện cảm xúc, không có tính đúng sai nên không phải là mệnh đề.

Mệnh đề là một câu khẳng định có tính đúng hoặc sai. Tức là, ta có thể xác định được tính đúng sai của nó.

• "An là sinh viên khoa CNTT" là một mệnh đề (có thể đúng hoặc sai).
• "An không phải học Trí tuệ nhân tạo" là một mệnh đề (có thể đúng hoặc sai).
• "An là sinh viên CNTT nhưng không phải học Trí tuệ nhân tạo" là một mệnh đề (có thể đúng hoặc sai).
• "X là sinh viên không phải học Trí tuệ nhân tạo" không phải là một mệnh đề, vì X là một biến chưa xác định, ta không thể biết được tính đúng sai của câu này.