Disjunctions

Herbrand Disjunctions

Conjunctive Normal Form

First-Order Logic

Herbrand's Theorem

Implication Graph

Infinitary Logics

2-satisfiability

Expansion

Formulas

Infinitary

Instance

Logic

Tree

True

Variable

Variables