Theory (Propositional Logic)

Definition

Theory (Propositional Logic)

A propositional theory is any set of propositional formulas:

It need not contain all its logical consequences.