Cho suy luận: “Nếu Q uống quá nhiều rượu thì anh ấy say xỉn. Q không say xỉn. Vậy có nghĩa là anh ấy không uống, hoặc chỉ uống ít rượu”. Suy luận này đúng hay sai; viết sơ đồ suy luận?

Đúng; ((p→q)∧p)→q((p → q) ∧ p) → q((p→q)∧p)→q.

Đúng; ((p→q)∧ p)→ q((p → q) ∧ ~p) → ~q((p→q)∧ p)→ q.

Đúng; ((p→q)∧ q)→ p((p → q) ∧ ~q) → ~p((p→q)∧ q)→ p.

Sai; ((p→q)∧ q)→(r∨s)((p → q) ∧ ~q) → (r ∨ s)((p→q)∧ q)→(r∨s).