Definition:Substitution


 * Substitution (Propositional Logic)
 * Substitution for Free Occurrence
 * Substitution (Mathematical Logic)