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
Luật "từng trường hợp" (Proof by Cases) là quy tắc suy luận cho phép ta chứng minh một mệnh đề bằng cách xét tất cả các trường hợp có thể xảy ra. Trong trường hợp này, ta có hai mệnh đề kéo theo: A → B và C → B. Điều này có nghĩa là nếu A đúng thì B đúng, và nếu C đúng thì B cũng đúng. Như vậy, nếu (A ∨ C) đúng (tức là hoặc A đúng, hoặc C đúng, hoặc cả hai đều đúng), thì B chắc chắn đúng. Vì vậy, (A ∨ C) → B là một kết luận hợp lệ.
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