Definition:Tautology/Formal Semantics/Boolean Interpretations

From ProofWiki
Jump to navigation Jump to search


Let $\mathbf A$ be a WFF of propositional logic.

Then $\mathbf A$ is called a tautology (for boolean interpretations) if and only if:

$\map v {\mathbf A} = T$

for every boolean interpretation $v$ of $\mathbf A$.

That $\mathbf A$ is a tautology may be denoted as:

$\models_{\mathrm {BI} } \mathbf A$

Also known as

A tautology in this context may also be described as valid (for boolean interpretations).

On $\mathsf{Pr} \infty \mathsf{fWiki}$, we have chosen to only use validity in the context of a single boolean interpretation.

Also denoted as

If only boolean interpretations are under discussion, $\models \mathbf A$ is also often encountered.

Also see

  • Results about tautologies can be found here.