【名词&注释】
反对关系、因果关系(causality)、排中律(law of excluded middle)、三段论(syllogism)、矛盾律(law of contradiction)、大前提(major premise)、同一律(law of identity)、关联词、小前提(minor premise)
[填空题]若一有效三段论的结论为全称肯定命题,则其大前提应为(),小前提(minor premise)应为()。