Logical Assertion

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)

    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)