Assignment (mathematical logic)