diff --git a/Logica/2020-04-16 Calcoli a tableaux.pdf b/Logica/2020-04-16 Calcoli a tableaux.pdf new file mode 100644 index 0000000..b714d91 Binary files /dev/null and b/Logica/2020-04-16 Calcoli a tableaux.pdf differ