appunti/Logica/Primo ordine/2020-05-29 Validità dei tableaux.pdf