In
logic, a
statement is either (a) a meaningful
declarative sentence that is either
true or
false, or (b) that which a true or false declarative sentence asserts. In the latter case, a statement is distinct from a
sentence in that a sentence is only one
formulation of a statement, whereas there may be many other formulations expressing the same statement.