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 novel is not “a crazy quilt of bits”; it is a logical sequence of psychological events: the movements of stars may seem crazy to the simpleton, but wise men know the comets come back.”
—Vladimir Nabokov (1899–1977)
“The trenchant editorials plus the keen rivalry natural to extremely partisan papers made it necessary for the editors to be expert pugilists and duelists as well as journalists. An editor made no assertion that he could not defend with fists or firearms.”
—Federal Writers’ Project Of The Wor, U.S. public relief program (1935-1943)