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