diff --git a/Logica/Primo ordine/2020-05-28 Tableaux.pdf b/Logica/Primo ordine/2020-05-28 Tableaux.pdf new file mode 100644 index 0000000..4d198a9 Binary files /dev/null and b/Logica/Primo ordine/2020-05-28 Tableaux.pdf differ