Definite-clause Definition

noun

(logic) A Horn clause with exactly one positive literal.

The clauses , and are examples of definite clauses. At least in classical logic these would be equivalent to the formulae , and , respectively.
Wiktionary

Other Word Forms of Definite-clause

Noun

Singular:
definite-clause
Plural:
definite clauses

Related Articles

Find Similar Words

Find similar words to definite-clause using the buttons below.

Words Starting With

DDEDEF

Words Ending With

ESEUSE

Unscrambles

definite-clause

Words Starting With D and Ending With E

Starts With D & Ends With EStarts With DE & Ends With EStarts With D & Ends With SE

Word Length

15 Letter Words15 Letter Words Starting With D15 Letter Words Ending With E