When the occurrence of a variable is said bound or free in a quantified statement?
11091
About free and bound variables
46423
Distributivity of quantifiers over logical connectives
104823
Detailed Explanation of Variable Capture in Closures
149955
Are runtime bounds in P decidable? (answer: no)
85770
What is the difference between ∀x(p(x) →q(x)) and ∀x(p(x) ∧q(x))?
101993
The cardinality of a language over a set of variables $V$ with $\#V= κ$
21605
Omission of 'for' with various quantified time intervals: influence of verb
157215
Order of statements in the Delta-Epsilon Limit definition
151869
What's the scope of a variable initialized in an if statement?
70166
Why is the universal quantifier $\forall x \in A : P(x)$ defined as $\forall x (x \in A \implies P(x))$ using an implication?
100844
How should I understand "$A$ unless $B$"?
34356
Does the order of quantification matter?
48614
Why is "$P \Rightarrow Q$" equivalent to "$\neg Q \Rightarrow \neg P$"?
45391
in elisp's let, how do you reference a variable bound in the same let while binding another variable?
29376
"Through" or "to" for expression of range
74546
Negating A Mathematical Statement
31316
Expression Versus Statement