diff --git a/Logica/Proposizionale/2020-03-19 Soddisfacibilità e conseguenza logica.pdf b/Logica/Proposizionale/2020-03-19 Soddisfacibilità e conseguenza logica.pdf
index 57bd831..5f1a9ba 100644
Binary files a/Logica/Proposizionale/2020-03-19 Soddisfacibilità e conseguenza logica.pdf and b/Logica/Proposizionale/2020-03-19 Soddisfacibilità e conseguenza logica.pdf differ
diff --git a/Logica/Proposizionale/2020-03-20 Conseguenza logica.pdf b/Logica/Proposizionale/2020-03-20 Conseguenza logica.pdf
index e8a7c4b..b14ee7e 100644
Binary files a/Logica/Proposizionale/2020-03-20 Conseguenza logica.pdf and b/Logica/Proposizionale/2020-03-20 Conseguenza logica.pdf differ
diff --git a/Logica/Proposizionale/2020-03-25 Equivalenza logica.pdf b/Logica/Proposizionale/2020-03-25 Equivalenza logica.pdf
index 88c313a..a171895 100644
Binary files a/Logica/Proposizionale/2020-03-25 Equivalenza logica.pdf and b/Logica/Proposizionale/2020-03-25 Equivalenza logica.pdf differ