variable (logics)