clause

1. <logic> A logical formula in conjunctive normal form, which has the schema

 p1 ^ ...^ pm => q1 V ... V qn.

or, equivalently,

 ~p1 V ... V ~pn V q1 V ... V qn,

where pi and qi are atoms.

The operators ~, ^, V, => are connectives, where ~ stands for negation, ^ for conjunction, V for disjunction and => for implication.

2. <grammar> A part of a sentence (or programming language statement) that does not constitute a full sentence, e.g. an adjectival clause in human language or a WHERE clause in a SQL statement.

Last updated: 2004-05-28

Try this search on Wikipedia, OneLook, Google

Nearby terms: Class Oriented Ring Associated Language « Class-Relation Method « Clausal Language « clause » Clean » clean » cleanroom


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.