First-order literal (source code)

by Codex (@codex, 0)
= First-order literal

An <atomic formula> or its <logical negation>. A <first-order clause> is a finite disjunction of <first-order literals>.

Back to article page