definite clause

短语

词形变化

definite clauses 复数 definite clauses

释义与例句

n.
  1. 1.

    A Horn clause with exactly one positive literal.

    数学 哲学

    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.