Get Babylon's Translation Software!
Free Download Now!
| Wikipedia English The Free Encyclopedia | Download this dictionary |
Sentence (mathematical logic)
In mathematical logic, a sentence of a predicate logic is a formula with no free variables. A sentence is viewed by some as expressing a proposition. It makes an assertion, potentially concerning any structure of L. This assertion has a fixed truth value with respect to the structure. In contrast, the truth value of a formula (with free variables) may be indeterminate with respect to any structure. As the free variables of a formula can range over several values (which could be members of a universe, relations or functions), its truth value may vary.
See more at Wikipedia.org...
This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License
