Logical assertion
From The Art and Popular Culture Encyclopedia
Related e |
Featured: |
A 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.
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Logical assertion" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.