Đáp án đúng: C
Phân tích câu hỏi:
Câu hỏi đưa ra một suy luận và yêu cầu xác định tính đúng sai của nó, đồng thời biểu diễn suy luận đó bằng sơ đồ logic.
Phân tích các phương án:
* **p**: Q uống quá nhiều rượu.
* **q**: Q say xỉn.
Suy luận đã cho có dạng: Nếu p thì q, không q, vậy không p. Đây là dạng Modus Tollens, một quy tắc suy luận hợp lệ trong logic mệnh đề.
Vậy ta có sơ đồ suy luận: ((p → q) ∧ ¬q) → ¬p
* **Phương án A**: ((p→q)∧p)→q((p → q) ∧ p) → q((p→q)∧p)→q. Đây là Modus Ponens, không phải dạng suy luận được đề cập trong câu hỏi.
* **Phương án B**: ((p→q)∧ p)→ q((p → q) ∧ ~p) → ~q((p→q)∧ p)→ q. Phương án này không chính xác vì phần đầu của công thức không phù hợp.
* **Phương án C**: ((p→q)∧ q)→ p((p → q) ∧ ~q) → ~p((p→q)∧ q)→ p. Đây chính là dạng Modus Tollens, dạng suy luận đúng mà đề bài đã cho.
* **Phương án D**: Sai; ((p→q)∧ q)→(r∨s)((p → q) ∧ ~q) → (r ∨ s)((p→q)∧ q)→(r∨s). Đây là đáp án sai và sơ đồ cũng không phù hợp.
Vậy đáp án đúng là C.