用反证法证明:在三段论第一格中小前提必须肯定。
出自:法学