Definition:Tautology/Formal Semantics/Boolean Interpretations

From ProofWiki
Jump to: navigation, search

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.


Sources