因此,S是Q。(结论)

大前提是一个一般性断言,小前提通常是(但并不总是)一个个别断言。