estensionale

agg. [da estensione]. In logica matematica, riferito a sistema di logica, o a linguaggio logico, in cui vengano prese in considerazione solo le estensioni degli elementi che li costituiscono. Va rilevato che la gran parte dei sistemi di logica formale viene formulata in chiave estensionale per la maggior semplicità e per la grande potenza che essi presentano (vedi ancheestensione).