bound alphabetical variant
logic
Learn about this topic in these articles:
manipulations in lower predicate calculus
- In formal logic: Logical manipulations in LPC
…β are said to be bound alphabetical variants of each other, and bound alphabetical variants are always equivalent. The reason for restricting the replacement variable to one not occurring elsewhere in the scope of the quantifier can be seen from an example: If ϕxy is taken as before to mean…
Read More