Clausule (logica)
Uit Wikipedia, de vrije encyclopedie
In de logica is een clausule (in het Engels: clause) een disjunctie van literals, dus met de vorm
, waarbij li, 
, een literal is.
Een clausule kan ook leeg zijn. Deze is onwaar aangezien een clausule alleen waar is als één of meer literals waar zijn.
Sommige clausules met een bepaalde vorm hebben een eigen naam:
- Horn clausule (Horn clause), een clausule met ten hoogste één positieve literal.
- Definite clause, een Horn clausule met precies één positieve literal.
- Goal clause, een Horn clausule zonder positieve literals (deze term wordt met name bij logisch programmeren gebruikt).
- Dual-Horn clause, een clausule met ten hoogste één negatieve literal.
- Unit clause, een clausule met één literal.
Een clausule wordt soms ook genoteerd met behulp van verzamelingen: de clausule wordt genoteerd als 
.
