logique du premier ordre
concept méthode formelle, utilise des variables sur des objets non logiques et permet l'usage de phrases qui contiennent des variables; seules les variables sont quantifiées
Aussi : calcul des relations, calcul des prédicats, calcul des prédicats du premier ordre, L1O
Catégories : concepts abstraits
Mots du lexique : logique nom commun, Premier nom propre, Ordre nom propre