diff --git a/Logica/2020-05-14 Logica del primo ordine.pdf b/Logica/Primo ordine/2020-05-14 Introduzione.org
similarity index 100%
rename from Logica/2020-05-14 Logica del primo ordine.pdf
rename to Logica/Primo ordine/2020-05-14 Introduzione.org
diff --git a/Logica/2020-03-13 Sintassi.pdf b/Logica/Proposizionale/2020-03-13 Sintassi.pdf
similarity index 100%
rename from Logica/2020-03-13 Sintassi.pdf
rename to Logica/Proposizionale/2020-03-13 Sintassi.pdf
diff --git a/Logica/2020-03-17 Semantica.pdf b/Logica/Proposizionale/2020-03-17 Semantica.pdf
similarity index 100%
rename from Logica/2020-03-17 Semantica.pdf
rename to Logica/Proposizionale/2020-03-17 Semantica.pdf
diff --git a/Logica/2020-03-18 Semantica.pdf b/Logica/Proposizionale/2020-03-18 Semantica.pdf
similarity index 100%
rename from Logica/2020-03-18 Semantica.pdf
rename to Logica/Proposizionale/2020-03-18 Semantica.pdf
diff --git a/Logica/2020-03-19 Soddisfacibilità e conseguenza logica.pdf b/Logica/Proposizionale/2020-03-19 Soddisfacibilità e conseguenza logica.pdf
similarity index 100%
rename from Logica/2020-03-19 Soddisfacibilità e conseguenza logica.pdf
rename to Logica/Proposizionale/2020-03-19 Soddisfacibilità e conseguenza logica.pdf
diff --git a/Logica/2020-03-20 Conseguenza logica.pdf b/Logica/Proposizionale/2020-03-20 Conseguenza logica.pdf
similarity index 100%
rename from Logica/2020-03-20 Conseguenza logica.pdf
rename to Logica/Proposizionale/2020-03-20 Conseguenza logica.pdf
diff --git a/Logica/2020-03-25 Equivalenza logica.pdf b/Logica/Proposizionale/2020-03-25 Equivalenza logica.pdf
similarity index 100%
rename from Logica/2020-03-25 Equivalenza logica.pdf
rename to Logica/Proposizionale/2020-03-25 Equivalenza logica.pdf
diff --git a/Logica/2020-03-26_1 Sostituzione proposizionale.pdf b/Logica/Proposizionale/2020-03-26_1 Sostituzione proposizionale.pdf
similarity index 100%
rename from Logica/2020-03-26_1 Sostituzione proposizionale.pdf
rename to Logica/Proposizionale/2020-03-26_1 Sostituzione proposizionale.pdf
diff --git a/Logica/2020-03-26_2 Forme normali.pdf b/Logica/Proposizionale/2020-03-26_2 Forme normali.pdf
similarity index 100%
rename from Logica/2020-03-26_2 Forme normali.pdf
rename to Logica/Proposizionale/2020-03-26_2 Forme normali.pdf
diff --git a/Logica/2020-03-31 Completezza funzionale.pdf b/Logica/Proposizionale/2020-03-31 Completezza funzionale.pdf
similarity index 100%
rename from Logica/2020-03-31 Completezza funzionale.pdf
rename to Logica/Proposizionale/2020-03-31 Completezza funzionale.pdf
diff --git a/Logica/2020-04-02 Completezza funzionale.pdf b/Logica/Proposizionale/2020-04-02 Completezza funzionale.pdf
similarity index 100%
rename from Logica/2020-04-02 Completezza funzionale.pdf
rename to Logica/Proposizionale/2020-04-02 Completezza funzionale.pdf
diff --git a/Logica/2020-04-16 Calcoli a tableaux.pdf b/Logica/Proposizionale/2020-04-16 Calcoli a tableaux.pdf
similarity index 100%
rename from Logica/2020-04-16 Calcoli a tableaux.pdf
rename to Logica/Proposizionale/2020-04-16 Calcoli a tableaux.pdf
diff --git a/Logica/2020-04-17 Calcoli a tableaux.pdf b/Logica/Proposizionale/2020-04-17 Calcoli a tableaux.pdf
similarity index 100%
rename from Logica/2020-04-17 Calcoli a tableaux.pdf
rename to Logica/Proposizionale/2020-04-17 Calcoli a tableaux.pdf
diff --git a/Logica/2020-04-21 Correttezza dei tableaux.pdf b/Logica/Proposizionale/2020-04-21 Correttezza dei tableaux.pdf
similarity index 100%
rename from Logica/2020-04-21 Correttezza dei tableaux.pdf
rename to Logica/Proposizionale/2020-04-21 Correttezza dei tableaux.pdf
diff --git a/Logica/2020-04-23 Proprietà dei tableaux.pdf b/Logica/Proposizionale/2020-04-23 Proprietà dei tableaux.pdf
similarity index 100%
rename from Logica/2020-04-23 Proprietà dei tableaux.pdf
rename to Logica/Proposizionale/2020-04-23 Proprietà dei tableaux.pdf
diff --git a/Logica/2020-04-27 Completezza dei tableaux.pdf b/Logica/Proposizionale/2020-04-27 Completezza dei tableaux.pdf
similarity index 100%
rename from Logica/2020-04-27 Completezza dei tableaux.pdf
rename to Logica/Proposizionale/2020-04-27 Completezza dei tableaux.pdf
diff --git a/Logica/2020-04-29 Calcolo alla Hilbert.pdf b/Logica/Proposizionale/2020-04-29 Calcolo alla Hilbert.pdf
similarity index 100%
rename from Logica/2020-04-29 Calcolo alla Hilbert.pdf
rename to Logica/Proposizionale/2020-04-29 Calcolo alla Hilbert.pdf
diff --git a/Logica/2020-04-30 Compattezza.pdf b/Logica/Proposizionale/2020-04-30 Compattezza.pdf
similarity index 100%
rename from Logica/2020-04-30 Compattezza.pdf
rename to Logica/Proposizionale/2020-04-30 Compattezza.pdf
diff --git a/Logica/2020-05-05 Compattezza.pdf b/Logica/Proposizionale/2020-05-05 Compattezza.pdf
similarity index 100%
rename from Logica/2020-05-05 Compattezza.pdf
rename to Logica/Proposizionale/2020-05-05 Compattezza.pdf
diff --git a/Logica/2020-05-07 Risoluzione.pdf b/Logica/Proposizionale/2020-05-07 Risoluzione.pdf
similarity index 100%
rename from Logica/2020-05-07 Risoluzione.pdf
rename to Logica/Proposizionale/2020-05-07 Risoluzione.pdf
diff --git a/Logica/2020-05-11 Risoluzione.pdf b/Logica/Proposizionale/2020-05-11 Risoluzione.pdf
similarity index 100%
rename from Logica/2020-05-11 Risoluzione.pdf
rename to Logica/Proposizionale/2020-05-11 Risoluzione.pdf
diff --git a/Logica/2020-05-12 Esempio di applicazione della CPL.pdf b/Logica/Proposizionale/2020-05-12 Esempio di applicazione della CPL.pdf
similarity index 100%
rename from Logica/2020-05-12 Esempio di applicazione della CPL.pdf
rename to Logica/Proposizionale/2020-05-12 Esempio di applicazione della CPL.pdf