Kiểu suy luận nào đúng?

[a→ b]⇒[ b→a][a → ~b] ⇒ [~b → a][a→ b]⇒[ b→a]

[ a→b]⇒[b→a][~a → b] ⇒ [b → a][ a→b]⇒[b→a]

[a→b]⇒[ a→ b][a → b] ⇒ [~a → ~b][a→b]⇒[ a→ b]

[a→b]⇒[ a∨b][a → b] ⇒ [~a ∨ b][a→b]⇒[ a∨b]