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?

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

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

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

A. S+ e P+.

B. S- o P+.

C. S+ a P.

A. Sai, vì trung từ không chu diên trong cả hai tiền đề.

B. Đúng, vì tuân theo tất cả các quy tắc tam đoạn luận.

C. Sai, vì tiểu từ chu diên trong tiền đề, nhưng không chu diên trong kết luận.

A. S+ e P+.

B. S- o P+.

C. S+ a P.

A. (a→b)∧ a(a → b) ∧ ~a(a→b)∧ a ⇒ ~b.

B. (a→b)∧b(a → b) ∧ b(a→b)∧b ⇒ a.

C. (a→b)∧ b(a → b) ∧ ~b(a→b)∧ b ⇒ ~a.

A. Sai, vì cả hai tiền đề đều là phán đoán bộ phận.

B. Sai, vì trung từ không chu diên trong cả hai tiền đề.

C. Đúng, vì tuân theo tất cả các quy tắc tam đoạn luận đơn.

A. (a→b)∧ b(a → b) ∧ ~b(a→b)∧ b ⇒ ~a.

B. (a→ b)∧a(a → ~b) ∧ a(a→ b)∧a ⇒ ~b.

C. ( a→b)∧ b(~a → b) ∧ ~b( a→b)∧ b ⇒ a.