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