Logical assertion
The
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 antedecent.
For example, if p = "x is even", the implication

is thus true. We can also write this using the logical assertion symbol, as
This article is a stub. You can help Wikipedia by fixing it.