A proposition in mathematical logic is a statement that can be proven to be either true or false. For example, if you say, “the bear is black,” that is a proposition; but the statement “the bear is x,” cannot be true or false until a particular value for x is chosen; therefore, it is not a proposition.