HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › definite clause
← Back to search

Meaning of definite clause | Babel Free

Noun CEFR B2

Definitions

A Horn clause with exactly one positive literal.

Examples

“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.”

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See all B2 English words →

See also

definite integral definite maybe definite verb Definiteness definition definition by pointing

Learn this word in context

See definite clause used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free