证明三段论第一格的两条规则,小前提肯定,大前提全称