calcul des prédicats

Désignations

français	calcul des prédicats (correct,masculine noun) OBS: Aussi appelé logique prédicative
anglais	predicate calculus (correct) DEF: Branch of symbolic logic that would represent that proposition (=Lilian is the mother of Leslie) by a predicate MOTHER applied to the two individuals: MOTHER (Lillian, Leslie).

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: (...) une extension du calcul des propositions. Il comporte en plus les notions de prédicats et de symboles de quantification universelle et d'existentialité. Son intérêt principal par rapport au calcul des propositions est l'introduction de la notion de variable.
anglais: An extension of propositional calculus. Each elementary unit in predicate calculus is called an object. Statements about objects are called predicates.

Classement

Collections

Électronique et informatique informatics

Domaines

Intelligence artificielle

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-2e18ae82dd854bd9/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.