Logical assertion
|
|
The 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 antedecent.
For example, if p = "x is even", the implication
- <math> (\vdash p)\rightarrow(p \pmod 2 \equiv 0)<math>
is thus true. We can also write this using the logical assertion symbol, as
- <math> \vdash \left( (\vdash p)\rightarrow(p \pmod 2 \equiv 0) \right)<math>Template:Math-stub