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)
“Flowers and fruits are always fit presents; flowers, because they are a proud assertion that a ray of beauty outvalues all of the utilities of the world. These gay natures contrast with the somewhat stern countenance of ordinary nature: they are like music heard out of a work-house.”
—Ralph Waldo Emerson (1803–1882)