logique d'ordre supérieur

concept logique formelle permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats

Catégories : concepts abstraits

Mots du lexique : logique nom commun, supérieur nom commun