Directory
References
Discover
relettering
logic
Learn about this topic in these articles:
bound variables in lower predicate calculus
- In formal logic: Logical manipulations in LPC
…its scope is known as relettering a bound variable. If β is the result of relettering a bound variable in a wff α, then α and β are said to be bound alphabetical variants of each other, and bound alphabetical variants are always equivalent. The reason for restricting the replacement…
Read More