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:
“The truth is, that common-sense, or thought as it first emerges above the level of the narrowly practical, is deeply imbued with that bad logical quality to which the epithet metaphysical is commonly applied; and nothing can clear it up but a severe course of logic.”
—Charles Sanders Peirce (1839–1914)
“What stunned me was the regular assertion that feminists were “anti-family.” . . . It was motherhood that got me into the movement in the first place. I became an activist after recognizing how excruciatingly personal the political was to me and my sons. It was the women’s movement that put self-esteem back into “just a housewife,” rescuing our intelligence from the junk pile of “instinct” and making it human, deliberate, powerful.”
—Mary Kay Blakely (20th century)