# Definition:Tautology/Formal Semantics/Boolean Interpretations

## Definition

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.