appunti/Logica/2020-05-11 Risoluzione.pdf