numerosi metodi formali per derivare conclusioni invalidabili. Alcuni di questi formalismi, sui quali ci si soffermerà nell'appendice, sono di particolare