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:
“It was at that moment, just after Krug had fallen through the bottom of a confused dream and sat up on the straw with a gasp—and just before his reality, his remembered hideous misfortune could pounce upon him—it was then that I felt a pang of pity for Adam and slid towards him along an inclined beam of pale light—causing instantaneous madness, but at least saving him from the senseless agony of his logical fate.”
—Vladimir Nabokov (1899–1977)
“Flowers ... are a proud assertion that a ray of beauty outvalues all the utilities of the world.”
—Ralph Waldo Emerson (1803–1882)