↘️ Variable assignment (predicate calculus) §

= a function to assign individuals out of a universe U to open individual variables

Notation §

• $V$
• $V^{\prime }$: a variable assignment over U, which differs at most for x of $V$
  • -> also called x-Variant of V