diff --git a/Logica/Proposizionale/2020-03-31 Completezza funzionale.pdf b/Logica/Proposizionale/2020-03-31 Completezza funzionale.pdf
index fe2b398..909cc69 100644
Binary files a/Logica/Proposizionale/2020-03-31 Completezza funzionale.pdf and b/Logica/Proposizionale/2020-03-31 Completezza funzionale.pdf differ
diff --git a/Logica/Proposizionale/2020-04-02 Completezza funzionale.pdf b/Logica/Proposizionale/2020-04-02 Completezza funzionale.pdf
index f762492..167b2d7 100644
Binary files a/Logica/Proposizionale/2020-04-02 Completezza funzionale.pdf and b/Logica/Proposizionale/2020-04-02 Completezza funzionale.pdf differ
diff --git a/Logica/Proposizionale/2020-04-17 Calcoli a tableaux.pdf b/Logica/Proposizionale/2020-04-17 Calcoli a tableaux.pdf
index cde7e52..27d99ed 100644
Binary files a/Logica/Proposizionale/2020-04-17 Calcoli a tableaux.pdf and b/Logica/Proposizionale/2020-04-17 Calcoli a tableaux.pdf differ