所有的P都是Q。(大前提)