Sơ đồ suy luận nào sai?

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

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

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

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