diff --git a/Logica/Primo ordine/2020-05-14 Introduzione.pdf b/Logica/Primo ordine/2020-05-14 Introduzione.pdf
index e29f09d..21f67a1 100644
Binary files a/Logica/Primo ordine/2020-05-14 Introduzione.pdf and b/Logica/Primo ordine/2020-05-14 Introduzione.pdf differ
diff --git a/Logica/Primo ordine/2020-05-18 Sintassi.pdf b/Logica/Primo ordine/2020-05-18 Sintassi.pdf
index 96ae3bb..6c21f1d 100644
Binary files a/Logica/Primo ordine/2020-05-18 Sintassi.pdf and b/Logica/Primo ordine/2020-05-18 Sintassi.pdf differ
diff --git a/Logica/Primo ordine/2020-05-19 Semantica.pdf b/Logica/Primo ordine/2020-05-19 Semantica.pdf
index a35ff82..405093f 100644
Binary files a/Logica/Primo ordine/2020-05-19 Semantica.pdf and b/Logica/Primo ordine/2020-05-19 Semantica.pdf differ