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: B
Hình ảnh trong câu hỏi mô tả một quy tắc suy diễn trong logic mệnh đề. Ta có thể phân tích như sau:
* **P → Q:** Nếu P đúng thì Q đúng.
* **P:** P đúng.
* **∴ Q:** Vậy Q đúng.
Đây chính là hình thức của **Luật khẳng định (Modus Ponens)**. Luật này nói rằng nếu một mệnh đề P kéo theo mệnh đề Q, và P đúng, thì Q cũng phải đúng.
**Các phương án khác:**
* **B. Luật phủ định:** Liên quan đến việc phủ định một mệnh đề và suy ra kết quả.
* **C. Luật tam đoạn luận rời:** Liên quan đến các mệnh đề loại trừ.
* **D. Luật tam đoạn luận (bắc cầu):** Liên quan đến việc kết nối hai mệnh đề kéo theo thông qua một yếu tố chung (ví dụ: P → Q, Q → R, suy ra P → R).
Vì vậy, đáp án đúng nhất là A.





