mispell

chapters/fondamenti/logica.tex

@@ -259,7 +259,7 @@ \subsection{proposizioni, operatori logici}
 che viene chiamato \emph{deduzione naturale}. 
 Questo sistema presenta per ognuno degli operatori logici
 (negazione, congiunzione, disgiunzione, implicazione) 
-due regole formali: una che permette l'introduzione l'operatore e una 
+due regole formali: una che permette l'introduzione dell'operatore e una 
 che permette l'eliminazione l'operatore.
 
 Le regole più semplici sono quelle che riguardano la congiunzione 
@@ -412,9 +412,8 @@ \subsection{proposizioni, operatori logici}
 % contesto generale. Quest'ultimo è un vero e proprio teorema,
 % valido senza ipotesi aggiuntive.
 
-Ritorniamo alle regole di inferenza del calcolo proposizionale.
-
-Veniamo infine alla negazione logica. 
+Ritorniamo alle regole di inferenza del calcolo proposizionale,
+in particolare alla negazione logica. 
 \index{negazione logica}%
 \mymargin{rimozione negazione}%
 Per la rimozione la regola è quella della doppia negazione: