= Substitution (logic)
{wiki=Substitution_(logic)}
In logic, substitution refers to the process of replacing a variable or a term in a logical formula with another term or expression. This is often done to simplify expressions, to prove theorems, or to demonstrate certain properties of logical systems. Here's a more detailed explanation: 1. **Variables and Terms**: In logical expressions, we often use variables (like \\(x\\) or \\(y\\)) and constants (like \\(a\\) or \\(b\\)).
Back to article page