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