Concept
Clause (logic)
Overview
in logic, disjunction of literals
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Logic programming
- Logical conjunction
- Logical connective
- Prolog
- Logical consequence
- Logic
- Logical disjunction
- Literal (mathematical logic)
Place in the tradition
Part of Outline of logic.