A 'proposition' in formal logic must be:
A sentence that is either true or false.
A question or exclamation.
A variable without a truth value.
A statement that is always true.