In mathematical logic, logical assertion is a statement that asserts that a certain premise is true, and is useful for statements in proof. It is equivalent to a sequent with an empty antecedent. In computer programming and programming language semantics, these are used in the form of assertions; one example is a loop invariant. ...