diff --git a/Logica/Proposizionale/2020-03-13 Sintassi.pdf b/Logica/Proposizionale/2020-03-13 Sintassi.pdf
index 799ec1f..0b54edf 100644
Binary files a/Logica/Proposizionale/2020-03-13 Sintassi.pdf and b/Logica/Proposizionale/2020-03-13 Sintassi.pdf differ
diff --git a/Logica/Proposizionale/2020-03-17 Semantica.pdf b/Logica/Proposizionale/2020-03-17 Semantica.pdf
index f3362be..3c21836 100644
Binary files a/Logica/Proposizionale/2020-03-17 Semantica.pdf and b/Logica/Proposizionale/2020-03-17 Semantica.pdf differ
diff --git a/Logica/Proposizionale/2020-03-18 Semantica.pdf b/Logica/Proposizionale/2020-03-18 Semantica.pdf
index a326dc5..7f23f8b 100644
Binary files a/Logica/Proposizionale/2020-03-18 Semantica.pdf and b/Logica/Proposizionale/2020-03-18 Semantica.pdf differ