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:
“Opera, next to Gothic architecture, is one of the strangest inventions of Western man. It could not have been foreseen by any logical process.”
—Kenneth MacKenzie Clark, Baron of Saltwood (1903–1983)
“Even to this day it is easier than it ought to be for me to get a rise out of an American by telling him something about himself which is equally true about every human being on the face of the globe. He at once resents this as a disparagement and an assertion on my part that people in other parts of the globe are not like that, and are loftily superior to such weaknesses.”
—George Bernard Shaw (1856–1950)