• 2022-05-29
    “没有P是M,有S是M;所以,有S不是P。”这一推理的形式是( )。