diff --git a/Logica/2020-03-20 Conseguenza logica.pdf b/Logica/2020-03-20 Conseguenza logica.pdf
index 1b2cd32..e8a7c4b 100644
Binary files a/Logica/2020-03-20 Conseguenza logica.pdf and b/Logica/2020-03-20 Conseguenza logica.pdf differ
diff --git a/Logica/2020-03-25 Equivalenza logica.pdf b/Logica/2020-03-25 Equivalenza logica.pdf
index 871a02e..88c313a 100644
Binary files a/Logica/2020-03-25 Equivalenza logica.pdf and b/Logica/2020-03-25 Equivalenza logica.pdf differ
diff --git a/Logica/2020-03-31 Completezza funzionale.pdf b/Logica/2020-03-31 Completezza funzionale.pdf
index d6d8d73..fe2b398 100644
Binary files a/Logica/2020-03-31 Completezza funzionale.pdf and b/Logica/2020-03-31 Completezza funzionale.pdf differ
diff --git a/Logica/2020-04-02 Completezza funzionale.pdf b/Logica/2020-04-02 Completezza funzionale.pdf
index 933847a..f762492 100644
Binary files a/Logica/2020-04-02 Completezza funzionale.pdf and b/Logica/2020-04-02 Completezza funzionale.pdf differ
diff --git a/Logica/2020-04-21 Correttezza dei tableaux.pdf b/Logica/2020-04-21 Correttezza dei tableaux.pdf
index 7ef0ba5..c82519e 100644
Binary files a/Logica/2020-04-21 Correttezza dei tableaux.pdf and b/Logica/2020-04-21 Correttezza dei tableaux.pdf differ
diff --git a/Logica/2020-04-23 Proprietà dei tableaux.pdf b/Logica/2020-04-23 Proprietà dei tableaux.pdf
index ddb0471..90c05de 100644
Binary files a/Logica/2020-04-23 Proprietà dei tableaux.pdf and b/Logica/2020-04-23 Proprietà dei tableaux.pdf differ