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:
“Nature’s law says that the strong must prevent the weak from living, but only in a newspaper article or textbook can this be packaged into a comprehensible thought. In the soup of everyday life, in the mixture of minutia from which human relations are woven, it is not a law. It is a logical incongruity when both strong and weak fall victim to their mutual relations, unconsciously subservient to some unknown guiding power that stands outside of life, irrelevant to man.”
—Anton Pavlovich Chekhov (1860–1904)
“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)