definite clause
Word Rarity
Rare
Frequency: 3.57 in modern English
20
Scrabble Score
14
Letters
4
Syllables
11
Unique Chars
Meaning
noun
A Horn clause with exactly one positive literal.
Example Sentences
- "The clauses #92;negp#92;veeq, #92;negp#92;vee#92;negq#92;veer, and #92;negp#92;vee#92;negq#92;vee#92;negr#92;vees are examples of definite clauses. At least in classical logic these would be equivalent to the formulae p#92;rightarrowq, (p#92;wedgeq)#92;rightarrowr, and (p#92;wedgeq#92;wedger)#92;rightarrows, respectively."