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

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

[ 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