On variable non-dependence of first-order formulas

Koen Lefever, Gergely Székely

In this paper, we introduce a concept of non-dependence of variables in formulas. A formula in first-order logic is non-dependent of a variable if the truth value of this formula d…