appunti/Logica/2020-04-16 Calcoli a tableaux.pdf