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.
~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
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
©2018 Martin Webb