← 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 also

definite integral definite maybe definite verb Definiteness definition definition by pointing