diff --git a/Logica/Primo ordine/2020-06-03 Completezza dei tableaux.pdf b/Logica/Primo ordine/2020-06-03 Completezza dei tableaux.pdf
new file mode 100644
index 0000000..dcbde64
Binary files /dev/null and b/Logica/Primo ordine/2020-06-03 Completezza 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 1427396..19db29a 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