若一有效三段论的结论为全称肯定命题，则其大前提应为（），小前提应为（）。