Hãy cho biết quy tắc (Luật) nào là cơ sở của mô hình suy diễn sau:
\(\frac{\begin{array}{l} A \to B\\ C \to B \end{array}}{{\therefore (A \vee C) \to B}}\)
Trả lời:
Đáp án đúng: B
Phân tích câu hỏi và các đáp án:
Câu hỏi đưa ra một mô hình suy diễn và yêu cầu xác định quy tắc (luật) nào là cơ sở cho mô hình đó.
- Phương án 1: Luật khẳng định (Modus Ponens) có dạng A → B, A ⊢ B. Không phù hợp với mô hình suy diễn đã cho.
- Phương án 2: Luật từng trường hợp (Proof by cases) là luật phù hợp. Nếu ta có A → B và C → B, thì khi A hoặc C xảy ra, B cũng xảy ra. Tức là (A ∨ C) → B.
- Phương án 3: Luật tam đoạn luận rời (Disjunctive Syllogism) có dạng A ∨ B, ¬A ⊢ B. Không phù hợp với mô hình suy diễn đã cho.
- Phương án 4: Luật tam đoạn luận (Hypothetical Syllogism) có dạng A → B, B → C ⊢ A → C. Không phù hợp với mô hình suy diễn đã cho.
Vậy, đáp án đúng là Luật từng trường hợp.
Bộ 525 câu hỏi trắc nghiệm ôn thi môn Toán rời rạc có đáp án dưới đây sẽ là tài liệu ôn tập hữi ích dành cho các bạn sinh viên. Mời các bạn cùng tham khảo!
30 câu hỏi 60 phút






