Logical assertion

From Free net encyclopedia

Revision as of 08:34, 9 April 2006 SeventyThree (Talk | contribs) disambig ← Previous diff

Current revision SeventyThree (Talk | contribs) disambig

---

Current revision

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 antecedent.

For example, if p = "x is even", the implication

<math> (\vdash p)\rightarrow(x \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(x \pmod 2 \equiv 0) \right)</math>

Template:Mathlogic-stubzh:逻辑断言