eliminazione

eliminazione

eliminazione termine generico che indica la riscrittura in forma equivalente, ma più semplice, di una espressione matematica in cui compare un numero minore di termini. In algebra lineare, si chiama eliminazione di Gauss il procedimento per la risoluzione numerica di un sistema di n equazioni lineari in n incognite, noto anche come metodo di Gauss (→ Gauss, metodo di). In logica classica si introducono regole deduttive per l’eliminazione della congiunzione o della disgiunzione (→ inferenza, regola di); nel calcolo dei → sequenti una particolare eliminazione riguarda l’uso del cosiddetto taglio.