Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


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.


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