“没有P是M,有S是M;所以,有S不是P。”这一推理的形式是( )。
出自:国家开放大学《法律逻辑学》