diff --git a/Logica/Primo ordine/2020-05-28 Tableaux.pdf b/Logica/Primo ordine/2020-05-28 Tableaux.pdf
index caf13bd..09f3884 100644
Binary files a/Logica/Primo ordine/2020-05-28 Tableaux.pdf and b/Logica/Primo ordine/2020-05-28 Tableaux.pdf differ
diff --git a/Logica/Primo ordine/2020-06-03 Completezza dei tableaux.pdf b/Logica/Primo ordine/2020-06-03 Completezza dei tableaux.pdf
index dcbde64..79445f7 100644
Binary files a/Logica/Primo ordine/2020-06-03 Completezza dei tableaux.pdf and b/Logica/Primo ordine/2020-06-03 Completezza dei tableaux.pdf differ