“特称肯定判断的主项是不周延的，特称否定判断的主项是不周延的。所以，凡特称判断的主项都是不周延的。”这个推理属于（）。

特称判断的主项都是周延的。

否定判断的谓项都是周延的。

否定判断的谓项都是不周延的。

全称判断和单称判断的主项都是周延的。

断定一个主项（S）周延、谓项（P）不周延的判断，也就断定了其主项与谓项具有（）关系。

证明：大项在前提中周延，在结论中不周延的正确三段论的大前提，只能是全称肯定判断。

主项周延、谓项不周延的性质命题是（）；主项不周延、谓项周延的性质命题是（）。

性质判断AEIO中，主项周延谓项不周延的是（），主项谓项都周延的是（）。

性质判断AEIO中，主谓项都不周延的是（），主项不周延谓项周延的是（）。

性质判断包括如下种类：全称肯定判断、全称否定判断、特称肯定判断、特称否定判断、单称肯定判断和单称否定判断。

单称判断包括单称肯定判断和单称否定判断。