Each proposition must have some form of the verb 'to be' in it. A categorical syllogism is like a little machine built of three parts: the major premise, the minor premise and the conclusion. Each of these parts is a proposition and, from the first two, the "truth value" of the third part is decided.