Definition (noun) a variable in a logical or mathematical expression whose value determines the dependent variable; if f(x)=y, x is the independent variable
Definition (noun) a course of reasoning aimed at demonstrating a truth or falsehood; the methodical process of logical reasoning