You are here: irt.org | FOLDOC | 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.
(2004-05-28)
Nearby terms: Class Oriented Ring Associated Language « Class-Relation Method « Clausal Language « clause » Clean » clean » cleanroom
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL