appunti/Logica/2020-03-26_1 Sostituzione proposizionale.pdf