EDB — 1X1

view in whole PDF view in whole HTML

View

Italian

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.

Download PDF
Managing blob in: Multiple languages
This content is available in: Italian English