See: Linguistic Sentence, Ungrammatical Sentence, Formal Sentence, Logic Sentence.
- (WordNet, 2009) ⇒ http://wordnetweb.princeton.edu/perl/webwn?s=sentence
- S: (n) sentence (a string of words satisfying the grammatical rules of a language) "he always spoke in grammatical sentences"
- S: (n) conviction, judgment of conviction, condemnation, sentence ((criminal law) a final judgment of guilty in a criminal case and the punishment that is imposed) "the conviction came as no surprise"
- S: (n) prison term, sentence, time (the period of time a prisoner is imprisoned) "he served a prison term of 15 months"; "his sentence was 5 to 10 years"; "he is doing time in the county jail"
- S: (v) sentence, condemn, doom (pronounce a sentence on (somebody) in a court of law) "He was condemned to ten years in prison"
- 1. (grammar) A grammatically complete series of words consisting of a subject and predicate, even if one or the other is implied, and typically beginning with a capital letter and ending with a full stop. The children were made to construct sentences consisting of nouns and verbs from the list on the chalkboard.
- 2. The decision of a jury; a verdict. The jury returned a sentence of guilt in the first charge, but innocence in the second.
- 3. An unfavorable sentence(2): a conviction. The prisoner was scheduled for execution as all appeals of his sentence had been denied.
- 4. The punishment imposed on a person convicted of a crime. The judge declared a sentence of death by hanging for the infamous cattle rustler.
- 5. (computing theory) Any of the set of strings that can be generated by a given formal grammar.
- 6. (logic) A formula with no free variables.
- To declare a sentence on a convicted person. The judge sentenced the embezzler to ten years in prison, along with a hefty fine.
- (Wikipedia, 2009) ⇒ en.wikipedia.org/wiki/Sentence_(mathematical_logic)
- In mathematical logic, a sentence of a predicate logic is a well formed 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.