已知:一有效三段论的大、小前提的主项都周延,结论的主项不周延而谓项周延.论证:该三段论存在的所有形式.