Andrea Carpignani

Ti ringrazio delle spiegazioni, Enrico. Sono molto utili e credo che mi saranno anche molto utili. L’idea di utilizzare un comando personale che “descriva” l’oggetto in esame è molto utile. Mi è capitato moltissime volte di decidere di cambiare notazione a metà testo, e mi sono dovuto spaccare schiena ed occhi per sistemare tutto il testo già scritto. D’ora in avanti, cercherò sempre di usare dei comandi personali. Riguardo alla tabella, sono talmente ignorante in materia da non essere assolutamente in grado di farne di decenti. Potrei scimmiottare quelle delle dispense che mi hai mostrato, che, peraltro, mi sembrano estremamente interessanti.

Ti ringrazio ancora nuovamente per i preziosi suggerimenti,

Andrea

Ecco la mia tabella:

`
\begin{tabular}{l*{2}{>{$}r<{$}@{$\mathbin{}\equiv\mathbin{}$}>{$}l<{$}}} \toprule \textsl{nome} & \multicolumn{2}{c}{\slshape proprietà} & \multicolumn{2}{c}{\slshape proprietà duale} \\ \midrule associativa & (\mathcal{A}\land\mathcal{B})\land\mathcal{C} & \mathcal{A}\land(\mathcal{B}\land\mathcal{C}) & (\mathcal{A}\lor\mathcal{B})\lor\mathcal{C} & \mathcal{A}\lor(\mathcal{B}\lor\mathcal{C}) \\ commutativa & \mathcal{A}\land\mathcal{B} & \mathcal{B}\land\mathcal{A} & \mathcal{A}\lor\mathcal{B} & \mathcal{B}\lor\mathcal{A} \\ distributiva & \mathcal{A}\land(\mathcal{B}\lor\mathcal{C}) & (\mathcal{A}\land\mathcal{B})\lor(\mathcal{A}\land\mathcal{C}) & \mathcal{A}\lor(\mathcal{B}\land\mathcal{C}) & (\mathcal{A}\lor\mathcal{B})\land(\mathcal{A}\lor\mathcal{C}) \\ di assorbimento & \mathcal{A}\land(\mathcal{B}\lor\mathcal{A}) & \mathcal{A} & \mathcal{A}\lor(\mathcal{B}\land\mathcal{A}) & \mathcal{A} \\ elemento neutro & \mathcal{A}\land\top & \mathcal{A} & \mathcal{A}\lor\bot & \mathcal{A} \\ complementazione & \mathcal{A}\land\lnot\mathcal{A} & \bot & \mathcal{A} \lor \lnot\mathcal{A} & \top \\ leggi de De Morgan & \lnot(\mathcal{A}\land\mathcal{B}) & \lnot\mathcal{A}\lor\lnot\mathcal{B} & \lnot(\mathcal{A}\lor\mathcal{B}) & \lnot\mathcal{A}\land\lnot\mathcal{B} \\ idempotenza & \mathcal{A}\land\mathcal{A} & \mathcal{A} & \mathcal{A}\lor\mathcal{A} & \mathcal{A} \\ involuzione\footnotemark & \multicolumn{4}{c}{$\lnot\lnot\mathcal{A} \equiv\mathcal{A}$} \\ implicazione & \multicolumn{4}{c}{$\mathcal{A}\implies\mathcal{B} \equiv\lnot\mathcal{A}\lor\mathcal{B}$} \\ equivalenza & \multicolumn{4}{c}{$\mathcal{A}\iff\mathcal{B} \equiv (\mathcal{A}\implies\mathcal{B})\land(\mathcal{B}\implies\mathcal{A})$} \\ \bottomrule \end{tabular} ` Così com'è fa un po' schifo e non entra nella pagina, sicché l'ho messa dentro figure con il carattere \footnotesize.

Ciao,

Andrea

Ti ringrazio moltissimo della spiegazione Tommaso. Io utilizzo soltanto TeXShop, che è l’unico programmino che conosco per MAC. Invece non sono in grado di usare né Linux né, tantomeno, Windows, sicché problemi per quanto riguarda la compatibilità per me non si pongono. Inoltre, avevo già configurato, come tu mi avevi suggerito fare, TeXShop per lavorare con LilyPond ed ho visto che tutto funziona a meraviglia.

Ho anche fatto già la prova che mi hai suggerito, e funziona tutto alla perfezione. Peccato che mi ha impastato tutta la cartella di file che non conosco. Mi domando perché non mettere lilipond.sty e config.ly nella cartella locale di TeX.

Ciao e grazie mille,

Andrea

Per Tommaso,

Volevo farti ancora una domanda su LilyPond e LaTeX. Mi potresti dire come posso fare, finché non avremo a disposizione i famosi pacchetti che permettano l’inclusione in un file TeX ad inserire del testo nelle partiture? Non ho bisogno di scrivere moltissima musica, più che altro, invece, molto testo scritto e, forse, anche delle immagini con TiKZ. Però avrei bisogno di mettere un rigo di pentagramma e qualche nota.

Scusandomi per il disturbo, un caro saluto,

Andrea

Grazie del suggerimento Enrico. Conosco la simbologia che utilizza il tuo libro. Ed in effetti, a parte “per ogni”, “esiste” ed “implica” che sono descritti con una simbologia differente, la scrittura
`
(\forall x >0) P(x)
`
signifca
`
(\forall x) x>0 \implies P(x)
`
sempre e comunque. Si potrebbe dire che la prima è uno shortcut (mi pare si dica così in lingua anglosassone) della seconda. Ma quando si devono scrivere formule complicate, come quella di limite, si tende a scrivere una cosa come quella che ho scritto prima. Di solito la scrivo a parole, perché odio la simbologia troppo spinta, ma gli studenti la vedono spesso in matematichese e sicché mi tocca anche ad inserirla nelle mie note scritta in matematichese, altrimenti si solleva una sommossa popolare! Però mi piacerebbe che fosse una scrittura “bellina” e non orrenda come la si vede di solito.

Poiché LaTeX di solito è perfetto nello scegliere le spaziature, mi domandavo se vi fosse un modo canonico di comportarsi, oppure se la simbologia logica è utilizzata un po’ più arbitrariamente.

Ciao,

Andrea

Tommaso, visto che hai detto che conosci bene il programma LilyPond, volevo porti un’altra domanda. Ho visto che, più o meno, stampandomi un paio di manuali che ho trovato sul sito di LilyPond che mi ha segnalato Enrico, posso scrivere gli spartiti che ho raccattato dal mio vecchissimo archivio. C’è però una curiosità che vorrei capire: mi sembra impossibile, ma non sono riuscito a trovare, sui manuali, un modo per scrivere la “chiave di do” nel rigo tra due pentagrammi, come quella che si trova, ad esempio, nel classico testo di solfeggio del Pozzoli. Che si possano fare tantissime cose, ma non quella mi sembra così assurdo, che vorrei sapere da te se è vero che non si può fare, oppure se tu sai farla.

Ciao e grazie,

Andrea