definite clause

名词 n.
中文释义

英文释义

名词 n.
  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.

词形变化

definite clauses plural
1 次浏览 数据来源: Wiktionary