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