Prism (geometry)

From formulasearchengine
Revision as of 21:11, 28 January 2014 by en>JohnBlackburne (Reverted good faith edits by Pol098 (talk): That's just an example of it's use in the real world, or a marketing name, but is not about the shape (and that's not a RS). (TW))
Jump to navigation Jump to search

In mathematical logic, 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

(p)(x(mod2)0)

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

((p)(x(mod2)0))

In computer programming and programming language semantics, these are used in the form of assertions; one example is a loop invariant.

Template:Mathlogic-stub