diff --git a/Logica/Proposizionale/2020-04-30 Compattezza.pdf b/Logica/Proposizionale/2020-04-30 Compattezza.pdf
index 02e7a06..4edeb27 100644
Binary files a/Logica/Proposizionale/2020-04-30 Compattezza.pdf and b/Logica/Proposizionale/2020-04-30 Compattezza.pdf differ
diff --git a/Logica/Proposizionale/2020-05-05 Compattezza.pdf b/Logica/Proposizionale/2020-05-05 Compattezza.pdf
index 729d8f7..6e90260 100644
Binary files a/Logica/Proposizionale/2020-05-05 Compattezza.pdf and b/Logica/Proposizionale/2020-05-05 Compattezza.pdf differ
diff --git a/Logica/Proposizionale/2020-05-07 Risoluzione.pdf b/Logica/Proposizionale/2020-05-07 Risoluzione.pdf
index 83222bf..ddbd404 100644
Binary files a/Logica/Proposizionale/2020-05-07 Risoluzione.pdf and b/Logica/Proposizionale/2020-05-07 Risoluzione.pdf differ