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

[itex] (\vdash p)\rightarrow(p \pmod 2 \equiv 0)[itex]

is thus true. We can also write this using the logical assertion symbol, as

[itex] \vdash \left( (\vdash p)\rightarrow(p \pmod 2 \equiv 0) \right)[itex]Template:Math-stub

• Art and Cultures
• Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
• Space and Astronomy