appunti/Logica/2020-05-05 Compattezza.pdf