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:
“There is no logical reason why the camel of great art should pass through the needle of mob intelligence.”
—Rebecca West (1892–1983)
“What causes adolescents to rebel is not the assertion of authority but the arbitrary use of power, with little explanation of the rules and no involvement in decision-making. . . . Involving the adolescent in decisions doesn’t mean that you are giving up your authority. It means acknowledging that the teenager is growing up and has the right to participate in decisions that affect his or her life.”
—Laurence Steinberg (20th century)