diff --git a/Logica/2020-03-31 Completezza funzionale.pdf b/Logica/2020-03-31 Completezza funzionale.pdf
new file mode 100644
index 0000000..d6d8d73
Binary files /dev/null and b/Logica/2020-03-31 Completezza funzionale.pdf differ