Definition:Variable (Logic)