necessario
necessàrio [Der. del lat. necessarius "da cui non ci si può ritirare", da necesse "non potersi ritirare", comp. di ne "non" e cedere] [FAF] Che è indispensabile per il verificarsi di qualcosa. ◆ [FAF] Condizione n.: nella logica, condizione C che deve verificarsi perché se ne verifichi un'altra, C' (se C non si verifica, C' non potrà mai verificarsi); la condizione C' è sufficiente per C; C è condizione n. e sufficiente per C' se quest'ultima è lo stesso per C, e allora C e C' sono condizioni equivalenti.