[klawz] 
| 1. | Grammar. a syntactic construction containing a subject and predicate and forming part of a sentence or constituting a whole simple sentence. |
| 2. | a distinct article or provision in a contract, treaty, will, or other formal or legal written document. |
| clause (klôz) n.
[Middle English, from Old French, from Medieval Latin clausa, close of a rhetorical period, from feminine of Latin clausus, past participle of claudere, to close.] claus'al (klô'zəl) adj. |
A group of words in a sentence that contains a subject and predicate. (See dependent clause and independent clause.)
clause
1.
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.
(2004-05-28)
