diff --git a/Logica/Proposizionale/2020-04-21 Correttezza dei tableaux.pdf b/Logica/Proposizionale/2020-04-21 Correttezza dei tableaux.pdf
index c82519e..57756a5 100644
Binary files a/Logica/Proposizionale/2020-04-21 Correttezza dei tableaux.pdf and b/Logica/Proposizionale/2020-04-21 Correttezza dei tableaux.pdf differ
diff --git a/Logica/Proposizionale/2020-04-23 Proprietà dei tableaux.pdf b/Logica/Proposizionale/2020-04-23 Proprietà dei tableaux.pdf
index 90c05de..364e6b2 100644
Binary files a/Logica/Proposizionale/2020-04-23 Proprietà dei tableaux.pdf and b/Logica/Proposizionale/2020-04-23 Proprietà dei tableaux.pdf differ
diff --git a/Logica/Proposizionale/2020-04-27 Completezza dei tableaux.pdf b/Logica/Proposizionale/2020-04-27 Completezza dei tableaux.pdf
index 19db29a..10337c3 100644
Binary files a/Logica/Proposizionale/2020-04-27 Completezza dei tableaux.pdf and b/Logica/Proposizionale/2020-04-27 Completezza dei tableaux.pdf differ
diff --git a/Logica/Proposizionale/2020-04-29 Calcolo alla Hilbert.pdf b/Logica/Proposizionale/2020-04-29 Calcolo alla Hilbert.pdf
index 309edf4..335708c 100644
Binary files a/Logica/Proposizionale/2020-04-29 Calcolo alla Hilbert.pdf and b/Logica/Proposizionale/2020-04-29 Calcolo alla Hilbert.pdf differ