填空题 “没有P是M，有S是M；所以，有S不是P。”这一推理的形式是（）。

填空题 “逻辑学是没有阶级性的，逻辑学是科学；所以，所有科学都是没有阶级性的。”这个三段论是（）。

填空题 “历史上先后产生的国家有奴隶制国家、封建制国家、资产阶级国家、无产阶级国家，无论何种类型的国家都是阶级专政的工具。”这几个判断对“国家”这个概念是从（）来说明的。