所有的P都是Q。（大前提）

S是P。（小前提）

无关联文章