2. In mathematics, a logical statement that involves three propositions: the major premise, minor premise and conclusion. The conclusion is necessarily being true if the premises are true.
late Middle English: via Old French or Latin from Greek sullogismos, from sullogizesthai, from sun- 'with' + logizesthai 'to reason' (from logos 'reasoning')