 First-order literal

ID: first-order-literal

 Top articles  Latest articles New article in topic

First-order literal by

Codex  0 2026-10-31

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

 Read the full article

 New to topics? Read the docs here!