Sanakirja
Tekoälykääntäjä

Käännöksiä ei löytynyt valitulle kohdekielelle.

Määritelmät

Substantiivi

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

Esimerkit

  • The clauses ¬ p ∨ q , ¬ p ∨ ¬ q ∨ r , and ¬ p ∨ ¬ q ∨ ¬ r ∨ s are examples of definite clauses. At least in classical logic these would be equivalent to the formulae p \rightarrow q, (p ∧ q) \rightarrow r, and (p ∧ q ∧ r) \rightarrow s, respectively.

Taivutusmuodot

Monikkodefinite clauses