appunti/Logica/2020-04-21 Correttezza dei tableaux.pdf