一个形式有效的三段论，如果它的大前提是肯定的，大项在结论中周延，小项在前提中不周延，那么，这个三段论属于（）