(n)termone of the substantive phrases in a logical proposition“the major term of a syllogism must occur twice”