Sono al primo anno di matematica ed ho seguito le prima settimane di lezione dove si sono introdotti i concetti principali (insiemi, funzioni, numeri, dimostrazioni, ...).
Vorrei chiedervi se conoscete un libro di esercizi (un capitolo, ...) in un cui ci si può allenare sul modo corretto di scrivere le dimostrazioni, non tanto su cosa sia una dimostrazione, ma sul linguaggio corretto da usare, sul come scrivere in ordine (logico) le varie frasi, .... Non trovo un libro (ed un esercitatore) che si prendi la briga di fare esercizi sul modo corretto di formulare una dimostrazione. Usano tutti il modo sintetico con quantificatori e parentesi (alle volte un "quindi", ..) estremamente conciso, che allo stato attuale non mi serve. Prima di sintetizzare vorrei poter esser aiutato ad analizzare una dimostrazione, ragionarci, ripeterla in altri esercizi (guidato e non solo avere il risultato)., che spieghi perché è bene fare questo e non quello, e solo poi sintetizzarla. Non cerco un libro di logica formale, ma un libro (chiaccherone) di esercizi per uno studente del primo anno.
Grazie