 |
Logical assertion
| English Wikipedia - The Free Encyclopedia | Download this dictionary |
Logical assertion
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.
| See more at Wikipedia.org... |
© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License
