JavaScript is required

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\\ A \end{array}}{{\therefore B}}\)

A.

Luật rút gọn

B.

Luật cộng

C.

Luật khẳng định

D.

Luật tam đoạn luận

Trả lời:

Đáp án đúng: C


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.

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!


15 câu hỏi 60 phút

Câu hỏi liên quan