clause

Search:

clause

1. 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. A part of a SQL statement that does not constitute a full statement; for e.g. a "WHERE clause".

(2004-05-28)