因此，S是Q。（结论）

  哲学术语和解释

大前提是一个一般性断言，小前提通常是（但并不总是）一个个别断言。