Hãy cho biết quy tắc (Luật) nào là cơ sở của mô hình suy diễn sau: 
Trả lời:
Đáp án đúng: A
Hình ảnh trong câu hỏi mô tả một mô hình suy luận, trong đó từ hai mệnh đề P→Q và P, ta suy ra Q. Đây chính là mô hình của luật Khẳng định (Modus Ponens). Do đó, đáp án đúng là C.
A. Luật rút gọn: Đây là luật cho phép ta từ mệnh đề P∧Q suy ra P hoặc Q, không phù hợp với mô hình đã cho.
B. Luật cộng: Luật này cho phép ta từ mệnh đề P suy ra P∨Q, không phù hợp với mô hình đã cho.
D. Luật tam đoạn luận: Luật này có dạng (P→Q) ∧ (Q→R) → (P→R), không phù hợp với mô hình đã cho.
