logical assertion

Get Babylon's Translation Software! Free Download Now!
Babylon 8 - Your all-in-one solution
Award winning translation software trusted by millions. Translate from any language to any language.
View Demo


Wikipedia English The Free EncyclopediaDownload this dictionary
Sequent
In proof theory, a sequent is a formalized statement of provability that is frequently used when specifying calculi for deduction.
See more at Wikipedia.org...

This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License

Define logical assertion

Translate logical assertion





logical assertion in Chinese |