www.vincenzomanzoni.com

[Andrea]

Posto qui il mio problema perché è una cosa inerente a questo esercizio (fatto a lezione) e non un dubbio generale.

Nella risoluzione, verso la fine, arriva un passaggio in cui il "not esiste x1 (A1...)" diventa un "per ogni x1 not (A1...)" e fin qui ok.

Poi il "per ogni x1" viene portato fuori dalla parentesi, ma in questo passaggio x1 diventa x4, anche se non ci sono variabili x1 libere nelle ipotesi (tant'è che nel passaggio finale non si vedono cambiamenti delle variabili e x4 non compare proprio!).

Qualcuno ha qualche idea?

Io ho pensato che fuori dalla parentesi c'era già un "esiste x1" e non vorrei che quando due quantificatori sulla stessa variabile si trovano ad essere uno nel campo d'azione dell'altro, quello più interno cambia variabile.

[vinz]

Io sono d'accordo con la tua spiegazione. Al limite lo vediamo insieme giovedì.
_________________
Let the future tell the truth and evaluate each one according to his work and accomplishments. The present is theirs; the future, for which I really worked, is mine.
Nikola Tesla

[Giorgio]

[Andrea]

Sì tutti insieme arriveremo a qualcosa, di sicuro... sperem...