Definition:Theory/Set of Formulas

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathcal L$ be a logical language.

Let $\mathscr M$ be a formal semantics for $\mathcal L$.

Let $\mathcal F$ be a set of $\mathcal L$-formulas.


Then the $\mathcal L$-theory of $\mathcal F$, denoted $T \left({\mathcal F}\right)$ is the set:

$\left\{{\phi \in \mathcal L: \mathcal F \models_{\mathscr M} \phi}\right\}$

where $\models_{\mathscr M}$ denotes $\mathscr M$-semantic consequence.


Also see