Definite-clause meaning

(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.

noun
0
0
Advertisement