derivabilità

sf. [da derivabile].

1) In analisi matematica, proprietà delle funzioni derivabili. Per la derivabilità di una funzione di variabile complessa, vedi analitico.

2) In logica matematica, la proprietà di cui gode una data espressione di un calcolo logico quando essa è o può essere la conclusione di una derivazione. Più precisamente, dato un linguaggio L, una teoria T e un'espressione A appartenente a L, si dice che A è derivabile da T o che gode della derivabilità rispetto a T quando esiste una derivazione di A da T.