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

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

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