- logique des prédicats lojik ar predikadoù g.
-
mathématiques, informatique, logique ◊ ou logique prédicative - logique fondée sur la logique des propositions à laquelle sont ajoutés des ensembles de variables d'individus et de prédicats portant sur les individusen predicate logic, quantification theory
- logique des prédicats du premier ordre lojik ar predikadoù kentañ urzh g.
-
mathématiques, informatique, logique ◊ ou logique du premier ordre - logique classique basée sur le calcul des attributs et le calcul propositionnel, et qui utilise le raisonnement déductif pour la représentation de la connaissanceen first-order predicate logic, first-order logic