The major premise of a syllogism.
A syllogism with three conditional propositions, the major premises of which are disjunctively affirmed in the minor
