“如果A属于M,那么A也属于N;A不属于M;所以,A也不属于N。”这一推理属于何种推理?其推理形式是否正确?为什么?
出自:00024《普通逻辑》