Logical assertion
Encyclopedia
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
Sequent
In proof theory, a sequent is a formalized statement of provability that is frequently used when specifying calculi for deduction. In the sequent calculus, the name sequent is used for the construct which can be regarded as a specific kind of judgment, characteristic to this deduction system.-...
with an empty antecedent
Antecedent (logic)
An antecedent is the first half of a hypothetical proposition.Examples:* If P, then Q.This is a nonlogical formulation of a hypothetical proposition...
.
For example, if p = "x is even", the implication
is thus true. We can also write this using the logical assertion symbol, as