Main Page | See live article | Alphabetical index 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. This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.