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