English Wikipedia - The Free Encycl...
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