Definition:Substitution (Formal Systems)/Well-Formed Part/Example

Example
Let the WFFs of propositional logic $\mathbf A, \mathbf A'$ and $\mathbf B$ be as follows:

Then the substitution of $\mathbf A'$ for $\mathbf A$ in $\mathbf B$ is given by:


 * $\map {\mathbf B} {\mathbf A \mathbin {//} \mathbf A'} = \paren {\neg p \lor q} \iff \paren {\neg q \implies \neg p}$