Definition:Semantic Equivalence/Boolean Interpretations/Definition 3

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathbf A, \mathbf B$ be WFFs of propositional logic.


Then $\mathbf A$ and $\mathbf B$ are equivalent for boolean interpretations if and only if:

$\mathbf A \iff \mathbf B$ is a tautology

where $\iff$ is the biconditional connective.


Also see


Sources