|
|
|
|
|
Logical AssertionThe 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 -
is thus true. We can also write this using the logical assertion symbol, as -
|
 |
|
| Copyright 2005-2009 OnPedia.com. All Rights Reserved |
|
|