“如果A属于M，那么A也属于N；A不属于M；所以，A也不属于N。”这一推理属于何种推理？其推理形式是否正确？为什么？

（1）这一推理属于充分条件假言推理。
（2）其推理形式不正确。
（3）违反了充分条件假言推理“否定前件，不能否定后件”的规则，犯了否定前件进而否定后件的逻辑错误。

略