In logic, the first proposition of a regular syllogism, containing the principal term; as, no unholy person is qualified for happiness in heaven, [the major.] Every man in his natural state is unholy, [minor.] Therefore, no man in his natural state, is qualified for happiness in heaven, [conclusion or inference.]