diff --git a/Logica/Primo ordine/2020-05-21 Semantica.pdf b/Logica/Primo ordine/2020-05-21 Semantica.pdf
index 5a8f6c5..f119bef 100644
Binary files a/Logica/Primo ordine/2020-05-21 Semantica.pdf and b/Logica/Primo ordine/2020-05-21 Semantica.pdf differ
diff --git a/Logica/Primo ordine/2020-05-22 Equivalenza logica.pdf b/Logica/Primo ordine/2020-05-22 Equivalenza logica.pdf
index a84804c..45baa8f 100644
Binary files a/Logica/Primo ordine/2020-05-22 Equivalenza logica.pdf and b/Logica/Primo ordine/2020-05-22 Equivalenza logica.pdf differ
diff --git a/Logica/Primo ordine/2020-05-25 Sostituzioni.pdf b/Logica/Primo ordine/2020-05-25 Sostituzioni.pdf
index 1e3e43d..30b8af7 100644
Binary files a/Logica/Primo ordine/2020-05-25 Sostituzioni.pdf and b/Logica/Primo ordine/2020-05-25 Sostituzioni.pdf differ