Nota
14
[1X1](Svolto il 2022-10-11) La variabile \(x\) , che sia quantificata in una parte di una formula, torna ad essere libera se viene riusata in un altro pezzo della formula; questo è sintatticamente lecito ma rende meno leggibile la formula, come in questo esempio che usa il linguaggio della teoria degli insiemi
\[ A⊆ {\mathbb {N}}∧ x∈ {\mathbb {N}}∧ x≥ 4 ∧ (∀ x∈ A,x≤ 10) \]
che andrebbe scritto come
\[ A⊆ {\mathbb {N}}∧ x∈ {\mathbb {N}}∧ x≥ 4 ∧ (∀ y∈ A,y≤ 10) \]
rinominando la variabile nella parte in cui questa è quantificata.