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 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
Class-Relation Method ♦ Clausal Language ♦ clause ♦ Clean ♦ clean ♦ cleanroom
Try this search on Wikipedia, Wiktionary, Google, OneLook.