Hãy chọn từ/cụm từ tương ứng để hoàn thiện khảng định sau: Nói rằng A -> B được suy dẫn từ F, nếu:
Trả lời:
Đáp án đúng: D
Câu hỏi này kiểm tra sự hiểu biết về khái niệm suy dẫn trong logic mệnh đề. Cụ thể, nó hỏi về điều kiện để một mệnh đề A -> B được suy dẫn từ một tập hợp các công thức F. Đáp án đúng là phương án B.
Giải thích chi tiết:
- Phương án A: Sai. Điều kiện này không đảm bảo rằng A -> B được suy dẫn từ F.
- Phương án B: Đúng. Nói rằng A -> B được suy dẫn từ F nếu mọi bộ thỏa mãn F cũng thỏa mãn A -> B. Nói cách khác, nếu hai bộ bất kỳ thỏa mãn A thì cũng thỏa mãn B. Đây chính là định nghĩa của suy dẫn logic.
- Phương án C: Sai. Điều kiện này không liên quan đến suy dẫn logic.
- Phương án D: Sai. Hệ tiên đề Armstrong liên quan đến phụ thuộc hàm trong cơ sở dữ liệu, không phải suy dẫn logic mệnh đề.
