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.
For example, if p = "x is even", the implication
is thus true. We can also write this using the logical assertion symbol, as
Famous quotes containing the words logical and/or assertion:
“A picture whose pictorial form is logical form is called a logical picture.”
—Ludwig Wittgenstein (1889–1951)
“I feel a kind of reverence for the first books of young authors. There is so much aspiration in them, so much audacious hope and trembling fear, so much of the heart’s history, that all errors and shortcomings are for a while lost sight of in the amiable self assertion of youth.”
—Henry Wadsworth Longfellow (1807–1882)