Disjunctions

Sorry, we're still building and haven't quite gotten to this subject yet.

Related Subjects

Herbrand Disjunctions

Related Phrases

Conjunctive Normal Form

First-Order Logic

Herbrand's Theorem

Implication Graph

Infinitary Logics

Related Words