sigle→ masculin→. [mathématique]. First Order Predicate Calculus. Calcul des prédicats de premier ordre.