In mathematics, a logical statement that involves three propositions : the major premise, minor pre-mise and conclusion. The conclusion is necessarily being true if the premises are true.

• 在数学中,含有三个命题(大前提、小前提和结论)的一类逻辑陈述。当两个前提为真时,结论为真。