 In the first example, the subject is "men", predicate is "mortal" and copula is "are", while in the second example, the subject is "Socrates", the predicate is "a man" and copula is "is".Often, propositions are related to closed formulae to distinguish them from what is expressed by an open formula.In this sense, propositions are "statements" that are truth-bearers.